Formal specification and systematic model-driven testing of embedded automotive systems.
Sebastian SieglKai-Steffen HielscherReinhard GermanChristian BergerPublished in: DATE (2011)
Keyphrases
- model driven
- formal specification
- formal methods
- metamodel
- model driven development
- distributed systems
- data driven
- concurrent systems
- specification language
- model checking
- reverse engineering
- service oriented
- specification languages
- databases
- knowledge based systems
- data integration
- expert systems
- platform independent
- data analysis
- artificial intelligence
- machine learning