Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- agent architecture
- nuclear power plant
- third party
- knowledge based systems
- adaptive systems
- management system
- software components
- learning systems
- sensor data
- life cycle
- decision making
- support systems
- decision support
- decision support system