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.
DANA - behavioral verification of automotive infotainment software-interfaces: Presentation held at Automotive HMI Cosmos (IQPC), 28 September - 01 October, 2015, Mainz, Germany
2015
Miscellaneous
Electronic Resource
English
state machine , model execution , Infotainment , resumption , runtime verification , Model-based Software Design and Validation , UML profile , monitor , automotive , automotive software , UML , model-based test , interface verification , software engineering , layered reference model , Modellbasierter Softwareentwurf und Absicherung , reliable software
Reducing the Verification Effort for Interfaces of Automotive Infotainment Software
British Library Conference Proceedings | 2015
|Reducing the Verification Effort for Interfaces of Automotive Infotainment Software
SAE Technical Papers | 2015
|Echtzeitbetriebssysteme im Automotive Infotainment
Automotive engineering | 2007
|