On the Fault Hypothesis for a Safety-Critical Real-Time System.
Hermann KopetzPublished in: ASWSD (2004)
Keyphrases
- safety critical
- nuclear power plant
- real time
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- agent architecture
- support systems
- regulatory requirements
- fault diagnosis
- fault detection
- information systems
- adaptive systems
- artificial intelligence
- machine learning
- semi automatic
- knowledge acquisition
- decision support system
- low cost