Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- fault model
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- fault detection
- model based diagnosis
- regulatory requirements
- adaptive systems
- fault diagnosis
- knowledge based systems
- real time
- test cases
- low cost
- decision making
- machine learning