On the Formal Development of Safety-Critical Software.
Andy GallowayFrantz IwuJohn Alexander McDermidIan ToynPublished in: VSTTE (2005)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- software engineering
- model checking
- artificial intelligence
- formal specification
- knowledge based systems
- regulatory requirements
- decision makers
- decision support system
- software development
- learning process
- adaptive systems
- expert systems
- cooperative
- learning environment
- software intensive systems
- case study