Dr. rer. nat.

Weiß, Gereon

Filters

2
1 1
Reset filters

Settings
Now showing 1 - 2 of 2
  • Publication
    Reducing the verification effort for interfaces of automotive infotainment software
    ( 2015)
    Drabek, Christian
    ;
    Paulic, Annette
    ;
    Weiß, Gereon
    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.
  • 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.