The amount of software in the automotive domain is steadily increasing. Different ways of abstraction are used to meet this challenge. One of the most promising approaches is Model-Based Development. Software components are currently designed and developed with model-based approaches which describe syntactical and behavioral aspects of the components.Being able to analyze the models in concern to compatibility and traceability of messages and function calls is an important goal. Especially for the behavioral models this task is complex and time consuming. In this paper we focus on the infotainment domain and present three use-cases for control flow analysis in behavioral models. The first is the compatibility analysis between components, the second is the analysis of control flow over multiple connected components and the third is the consistency analysis of sequence diagrams. We present an approach to address these tasks using model transformation and graph-search algorithms.Finally we show the applicability of our approach using an open-source specification of automotive infotainment software components and an implementation of the algorithms.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior


    Weitere Titelangaben:

    Sae International Journal of Passenger Cars- Electronic and Electrical Systems
    Sae Int. J. Passeng. Cars – Electron. Electr. Syst


    Beteiligte:
    Paulic, Annette (Autor:in) / Kafkas, Mahmut (Autor:in) / Zeller, Marc (Autor:in) / Pramsohler, Thomas (Autor:in) / Baumgarten, Uwe (Autor:in)

    Kongress:

    SAE 2013 World Congress & Exhibition ; 2013



    Erscheinungsdatum :

    2013-04-08


    Format / Umfang :

    12 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Automotive lighting specifications

    Engineering Index Backfile | 1930


    Globalization of automotive specifications

    Hart,D.F. / Koster,G.A. / General Motors,US | Kraftfahrwesen | 1997


    Globalization of Automotive Specifications

    Hart, Douglas F. / Koster, Gerhard A. | SAE Technical Papers | 1997