Formal Specification and Development of a Safety-Critical Train Management System.
Angelo ChiappiniAlessandro CimattiCarmen PorziaG. RotondoRoberto SebastianiPaolo TraversoAdolfo VillafioritaPublished in: SAFECOMP (1999)
Keyphrases
- safety critical
- formal methods
- formal specification
- management system
- model checking
- process algebra
- safety analysis
- specification language
- embedded systems
- knowledge based systems
- reverse engineering
- fault tolerant
- software engineering
- agent architecture
- development process
- expert systems
- support systems
- artificial intelligence
- databases
- information systems
- model checker
- knowledge base
- natural language
- multi agent systems
- knowledge acquisition
- decision support system
- data warehouse