Design of signal control structures using formal methods for railway interlocking systems.
Oytun ErisIlhan MutluPublished in: ICARCV (2010)
Keyphrases
- formal methods
- control structures
- safety critical
- knowledge based systems
- control structure
- model checker
- formal analysis
- software engineering
- formal specification
- model checking
- artificial intelligence
- reactive systems
- building blocks
- case study
- development lifecycle
- user interface
- process algebra
- formal specification language
- complex systems
- fine grained
- modeling language
- support systems
- distributed systems
- data model
- multi agent
- information systems
- database