Selective Integration of Formal Methods in the Development of Electronic Control Units.
Mirko ConradDieter HötzerPublished in: ICFEM (1998)
Keyphrases
- formal methods
- knowledge based systems
- software engineering
- safety critical
- development lifecycle
- development process
- formal analysis
- machine learning
- artificial intelligence
- provably correct
- control system
- model checking
- control unit
- database
- building blocks
- temporal properties
- knowledge acquisition
- case study
- knowledge base
- formal specification language