Options
2015
Presentation
Title
DANA - behavioral verification of automotive infotainment software-interfaces
Title Supplement
Presentation held at Automotive HMI Cosmos (IQPC), 28 September - 01 October, 2015, Mainz, Germany
Abstract
The presentation focuses on how the DANA platform can be utilized to efficiently verify the behavioral compliance with Automotive Infotainment Software-Interfaces. Therefore, a short overview of the challenges in the verification of automotive infotainment software interfaces is given. Further, the DANA platform and its underlying methodology are introduced.
File(s)
Rights
Use according to copyright law
Language
English
Keyword(s)
automotive
Infotainment
interface verification
model execution
monitor
resumption
runtime verification
state machine
layered reference model
UML
UML profile
software engineering
Model-based Software Design and Validation
model-based test
Modellbasierter Softwareentwurf und Absicherung
reliable software
automotive software