Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Reducing the verification effort for interfaces of automotive infotainment software

 
: Drabek, Christian; Paulic, Annette; Weiß, Gereon

:
Fulltext urn:nbn:de:0011-n-3642082 (2.8 MByte PDF)
MD5 Fingerprint: cf0e6e701fcbb292c7f2c92672c3612c
Created on: 2.12.2015


Detroit/Mich., 2015, 10 pp.
SAE Technical Papers, 2015-01-0166
Society of Automotive Engineers (SAE World Congress) <2015, Detroit/Mich.>
English
Report, Electronic Publication
Fraunhofer ESK
infotainment; car infotainment; automotive; interface verification; regression test; model execution; state machine; layered reference model; UML; UML profile; software engineering; model-based software design and validation; automotive software; dependable software

Abstract
We present a novel approach and effective tooling to reduce the effort for the interface verification of in-vehicle software components. Our models create different views of the system. Layered reference models separate the description of the structure and the behavior of the services' communication. This simplifies the behavior descriptions and facilitates the usage of different communication technologies, e.g., D-Bus or CAN. Since the reference models are executable specifications, they can be used to verify the communication of the modeled services. This can be tested live or from a trace. In case of required changes to an interface, regression testing can be performed automatically using only the model. We evaluate the benefits and implications of our approach and tool with a case study of an in-vehicle audio function.

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