Design for Constraint Violation Detection in Safety-Critical Systems.
Satish SubramanianSanjai RayadurgamWei-Tek TsaiPublished in: HASE (1998)
Keyphrases
- safety critical
- formal methods
- embedded systems
- support systems
- fault tolerant
- safety analysis
- agent architecture
- nuclear power plant
- building blocks
- knowledge based systems
- design process
- case study
- learning systems
- intelligent systems
- management system
- adaptive systems
- low cost
- knowledge base
- regulatory requirements