Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Modellbasierte Erkennung von Fehlverhalten

Automatisierte Generierung von Verifikationsmodellen zur Absicherung von Funktionsschnittstellen im Bereich Infotainment
 
: Paulic, Annette; Pramsohler, Thomas; Kaule, Dirk; Zeller, Marc; Weiß, Gereon

Elektronik automotive (2012), Nr.8/9, 12 S.
ISSN: 1614-0125
Deutsch
Zeitschriftenaufsatz
Fraunhofer ESK ()
modellbasiert; Verifikation; Infotainment; Fehlersuche; MOST; Transformation; Zustandsdiagramm

Abstract
Die vorgestellten Konzepte zur modellbasierten Verifikation von Infotainment-Funktionen im Automobil zeigen, wie modellbasierte Verfahren bei der Fehlersuche unterstützen können. Mithilfe der von der Fraunhofer ESK in Zusammenarbeit mit der BMW Forschung und Technik GmbH erforschten Methodik zur modellbasierten Verifikation ist es möglich, implementierte Infotainment-Funktionen mit ihrer Spezifikation zu vergleichen und Abweichungen an der MOST Schnittstelle zuverlässig zu erkennen.
Grundlage hierfür bilden der Funktionskatalog und das Zustandsdiagramm des MOST Funktionsblocks. Ein großer Vorteil ist, dass diese Modelle, die bereits jetzt zur Spezifikation eingesetzt werden, auch zur Absicherung verwendet werden können. Die Transformation der Modelle erfolgt dabei automatisiert.

: http://publica.fraunhofer.de/dokumente/N-226410.html