Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
Horst MiedlJang-Soo LeeArndt LindnerErnst HoffmanJosef MärtzYoung-Jun LeeJong-Gyun ChoiJangyeol KimKyoung-Ho ChaSe Woo CheonCheol-Kwon LeeGee-Yong ParkKee-Choon KwonPublished in: SAFECOMP (2007)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- nuclear power plant
- agent architecture
- support systems
- regulatory requirements
- adaptive systems
- software development
- source code
- intelligent systems
- software engineering
- user interface
- case study
- software intensive systems
- decision making