The role of mathematically formal methods in the development and assessment of safety-critical systems.
Peter K. D. FroomeBrian MonahanPublished in: Microprocess. Microsystems (1988)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- knowledge based systems
- model checking
- fault tolerant
- formal specification
- artificial intelligence
- embedded systems
- support systems
- development lifecycle
- adaptive systems
- software engineering
- agent architecture
- model checker
- modeling language
- case study
- intelligent agents
- object oriented
- database