Dr. rer. nat.

Weiß, Gereon

Filters

2 1
Reset filters

Settings
Now showing 1 - 3 of 3
  • Publication
    Interface verification using executable reference models: An application in the automotive infotainment
    ( 2013)
    Drabek, Christian
    ;
    Pramsohler, Thomas
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    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.
  • Publication
    Modellbasierte Validierung von Infotainment-Funktionen im Auto
    ( 2012)
    Paulic, A.
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    ;
    Eilers, Dirk
    Bei der Kaufentscheidung für ein Auto werden Infotainment- und Multimedia-Anwendungen immer wichtiger. Die Netzwektechnologie 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 bereits 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 Spezifikationen eingeführt und zur Validierung wiederverwendet.
  • Publication
    Modellbasierte Erkennung von Fehlverhalten
    ( 2012)
    Paulic, Annette
    ;
    Pramsohler, Thomas
    ;
    Kaule, Dirk
    ;
    Zeller, Marc
    ;
    Weiß, Gereon
    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.