Integrated formal methods for safety analysis of train systems.
Wolfgang ReifFrank OrtmeierAndreas ThumsGerhard SchellhornPublished in: IFIP Congress Topical Sessions (2004)
Keyphrases
- formal methods
- safety critical
- safety analysis
- nuclear power plant
- formal analysis
- knowledge based systems
- model checking
- fault tolerant
- model checker
- software engineering
- embedded systems
- agent architecture
- distributed systems
- artificial intelligence
- machine learning
- real time
- belief revision
- modeling language
- formal specification
- support systems
- control system
- adaptive systems
- knowledge base
- decision making
- symbolic model checking