On Design-time Modelling and Verification of Safety-critical Component-based Systems.
Nermin KajtazovicChristopher PreschernAndrea HöllerChristian KreinerPublished in: Int. J. Networked Distributed Comput. (2014)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- support systems
- fault tolerant
- agent architecture
- regulatory requirements
- management system
- model checking
- knowledge based systems
- nuclear power plant
- building blocks
- distributed systems
- formal specification
- expert systems
- adaptive systems
- real time
- artificial intelligence
- data mining