Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Interface verification using executable reference models: An application in the automotive infotainment

 
: Drabek, Christian; Pramsohler, Thomas; Zeller, Marc; Weiß, Gereon

:
Fulltext urn:nbn:de:0011-n-2705972 (525 KByte PDF)
MD5 Fingerprint: a89b12f839e4b307dae5c0b9e9ec5416
Created on: 12.12.2013


Ober, I.:
6th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACESMB 2013. Proceedings : Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, September 29th, 2013
Miami/Fla., 2013 (CEUR Workshop Proceedings 1084)
10 pp.
International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB) <6, 2013, Miami/Fla.>
International Conference on Model Driven Engineering Languages and Systems (MODELS) <16, 2013, Miami/Fla.>
English
Conference Paper, Electronic Publication
Fraunhofer ESK
automotive; Infotainment; interface verification; model execution; state machine; layered reference model; UML; UML profile; software engineering; modellbasierter Softwareentwurf und -absicherung

Abstract
Modern in-vehicle infotainment systems comprise highly interactive software components. The verification of the interfaces of such components poses a major challenge for developers. In this work, we present an approach for model-based verification of distributed infotainment components. We define a layered reference model which specifies the interaction between two components at syntactical and behavioral level. The layers abstract from the used middleware so developers may focus on the components' actual interface behavior. Additionally, we define a model execution framework which enables the reuse of the reference model for verification of interface implementations. We demonstrate the applicability of the approach using an industrial case study. Our approach aims at reducing errors in the communication behavior and increasing the overall product quality.

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