Design of safety-critical systems using the complementarities of success and failure domains with a case study.
Rizwan AhmedJune Mo KooYong Hoon JeongGyunyoung HeoPublished in: Reliab. Eng. Syst. Saf. (2011)
Keyphrases
- safety critical
- formal methods
- embedded systems
- support systems
- safety analysis
- knowledge based systems
- fault tolerant
- regulatory requirements
- agent architecture
- building blocks
- case study
- nuclear power plant
- design process
- knowledge acquisition
- decision making
- machine learning
- intelligent systems
- software engineering
- adaptive systems
- management system
- multi agent
- software intensive systems
- artificial intelligence