Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems.
Mohamed KhalguiHans-Michael HanischAtef GharbiPublished in: ETFA (2009)
Keyphrases
- model checking
- embedded systems
- safety critical
- temporal logic
- formal methods
- low cost
- formal verification
- model checker
- symbolic model checking
- finite state
- automated verification
- embedded software
- temporal properties
- formal specification
- bounded model checking
- reachability analysis
- computation tree logic
- pspace complete
- control system
- real time systems
- timed automata
- verification method
- asynchronous circuits
- real time
- cl pc
- transition systems
- epistemic logic
- cyber physical systems
- software systems
- field programmable gate array
- reactive systems
- process algebra
- concurrent systems
- linear temporal logic
- open source