An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.
Xiaoyun GuoHsin-Hung LinKenro YatakeToshiaki AokiPublished in: FTSCS (2013)
Keyphrases
- model checking
- model checker
- formal methods
- safety critical
- artifact centric
- automated verification
- temporal logic
- communication protocol
- finite state machines
- formal verification
- timed automata
- temporal properties
- reachability analysis
- formal specification
- verification method
- asynchronous circuits
- abstract interpretation
- symbolic model checking
- bounded model checking
- epistemic logic
- reactive systems
- description language
- communication protocols
- ordered binary decision diagrams
- linear time temporal logic
- transition systems
- fault tolerant
- state space
- ai planning
- distributed systems
- software engineering
- expert systems