Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

DANA - behavioral verification of automotive infotainment software-interfaces

Presentation held at Automotive HMI Cosmos (IQPC), 28 September - 01 October, 2015, Mainz, Germany
 
: Drabek, Christian

:
presentation urn:nbn:de:0011-n-3663481 (1.3 MByte PDF)
MD5 Fingerprint: e35c25973e54a8615381ac3ae728290e
Created on: 12.11.2015


2015, 22 Folien
International Conference "Automotive HMI Cosmos" <2015, Mainz>
English
Presentation, Electronic Publication
Fraunhofer ESK
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

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.

: http://publica.fraunhofer.de/documents/N-366348.html