Options
2015
Presentation
Titel
DANA - behavioral verification of automotive infotainment software-interfaces
Titel Supplements
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.
Tags
-
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