Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.
Irfan SljivoOmar JaradatIain BatePatrick J. GraydonPublished in: HASE (2015)
Keyphrases
- safety critical
- support systems
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- decision making
- machine learning
- learning systems
- regulatory requirements
- adaptive systems
- intelligent systems
- decision makers
- control system
- expert systems
- knowledge management
- object oriented
- management system
- information systems