Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specification.
Peter JansenPublished in: CHARME (1999)
Keyphrases
- model checking
- design process
- reactive systems
- formal methods
- formal verification
- formal specification
- automated verification
- temporal logic
- asynchronous circuits
- transition systems
- conceptual design
- finite state machines
- model checker
- design methodology
- engineering design
- process algebra
- design processes
- artifact centric
- computation tree logic
- case study
- design decisions
- temporal properties
- verification method
- development process
- life cycle
- quality function deployment
- inclusive design
- symbolic model checking
- database design
- bounded model checking
- expert systems
- product design
- distributed systems
- linear temporal logic
- timed automata
- design requirements
- design principles
- epistemic logic
- automated reasoning