The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example.
Amer SaeedRogério de LemosTom AndersonPublished in: FTCS (1991)
Keyphrases
- formal methods
- safety critical
- safety analysis
- fault tolerant
- knowledge based systems
- embedded systems
- model checking
- software engineering
- model checker
- artificial intelligence
- formal specification
- support systems
- agent architecture
- modeling language
- query language
- software systems
- requirements engineering
- knowledge acquisition
- management system
- requirements analysis