Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.
Jonas ElmqvistSimin Nadjm-TehraniPublished in: HASE (2008)
Keyphrases
- quantitative analysis
- safety critical
- formal methods
- support systems
- safety analysis
- qualitative analysis
- nuclear power plant
- qualitative evaluation
- agent architecture
- fault tolerant
- qualitative and quantitative analysis
- decision making
- embedded systems
- distributed systems
- regulatory requirements
- adaptive systems
- formal specification
- real time
- model checking
- decision support system
- cooperative
- machine learning