An integrated environment of S/W specification and V&V for safety-critical systems.
Seo Ryong KooPoong-Hyun SeongJunbeom YooSung Deok ChaCheong YounHyun-chul HanPublished in: IASTED Conf. on Software Engineering (2004)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- real time
- nuclear power plant
- intelligent systems
- agent architecture
- expert systems
- embedded systems
- knowledge based systems
- support systems
- adaptive systems
- regulatory requirements
- decision support system
- decision makers
- management system
- machine learning