Fault mitigation in safety-critical software systems.
Satish SubramanianLynn ElliottRamakrishna V. VishnuvajjalaWei-Tek TsaiRamin MojdehbakhshPublished in: CBMS (1996)
Keyphrases
- software projects
- software systems
- safety critical
- nuclear power plant
- embedded systems
- source code
- software engineering
- software development
- formal methods
- fault tolerant
- software quality
- fault diagnosis
- agent architecture
- fault detection
- software architecture
- software components
- software intensive systems
- metamodel
- adaptive systems
- component based software
- support systems
- multi agent systems
- case study
- real time
- development process
- design patterns
- building blocks