Model-based validation of automotive infotainment functions using reference models

Bei der Kaufentscheidung für ein Auto werden Infotainment- und Multimedia Anwendungen immer wichtiger. Die Netzwerktechnologie Media Oriented Systems Transport (MOST) ist derzeit Standard für automobile Infotainment-Systeme und ermöglicht anspruchsvolles Infotainment im Auto. Die zunehmende Komplexität und Interaktion dieser Funktionen ist eine große Herausforderung bei der Entwicklung. Die Qualität der Systeme muss bei stetig zunehmender Funktionalität gewährleistet sein, zudem soll die Entwicklung immer günstiger werden. Hierzu wird modellbasierte Softwareentwicklung bereit erfolgreich eingesetzt. In dieser Arbeit haben wir neue Konzepte zur modellbasierten Validierung von Infotainment-Funktionen entwickelt und umgesetzt. Dabei wurden sog. Referenzmodelle als ausführbare Spezifikation eingeführt und zur Validierung wiederverwendet.