PLC-Based Safety Critical Software Development for Nuclear Power Plants.
Junbeom YooSung Deok ChaHan Seong SonChang Hwoi KimJang-Soo LeePublished in: SAFECOMP (2004)
Keyphrases
- safety critical
- nuclear power plant
- software development
- safety analysis
- fault tolerant
- formal methods
- software engineering
- agent architecture
- embedded systems
- software systems
- support systems
- development process
- fuzzy control
- control system
- case study
- software components
- real time
- adaptive systems
- machine learning
- software agents
- model checking
- monitoring system
- knowledge based systems
- low cost