In this paper, the authors will present current results of the research project MARS(Methodologies and Architectures for Runtime adaptive embedded Systems). The methodology defined in Mars supports the development of safe and survivable software intensive automotive systems employing dynamic adaptation. As successor of the project CHAMELEON, which was carried out in cooperation with the Robert Bosch GmbH, the methodology has been successfully applied to the development of vehicle stability control systems in several case studies. The authors will illustrate that dynamic adaptation provides a high potential for the cost-efficient development of highly dependable automotive systems. Particularly, it also enables the dynamic adaptation to driving situations as mentioned earlier. In order to ensure the safety of the system, however, it is not possible to use unconstrained adaptation. Instead, the adaptation behavior must be completely specified for enabling the analysis and verification of the adaptation behavior. Therefore, section 2 gives a classification of concepts of dynamic adaptation and points out those concepts that are applied in MARS. Section 3 then illustrates how the adaptation concepts can be used for achieving safety and survivability. Subsequently, the authors illustrate in Section 4 how the concepts are integrated into the development process of Mars. While today's automobiles already realize the adaptation concepts that are used in MARS, the modeling and analysis of the adaptation behavior is still an open research issue. Therefore, section 5 introduces concepts that can be used to systematically and methodically model the adaptation behavior. These models formally specify the adaptation behavior. Based on the models, it is possible to analyze and verify the adaptation behavior as briefly described in Section 6.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime adaptation in safety-critical automotive systems


    Beteiligte:
    Trapp, Mario (Autor:in) / Adler, Rasmus (Autor:in) / Förster, Marc (Autor:in) / Junger, Janosch (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    8 Seiten, 2 Bilder, 26 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Safety-critical automotive systems

    Piementel, Juan R. | TIBKAT | 2006


    Safety Implications of Runtime Adaptation to Changing Operating Conditions

    Salvi, Aniket / Weiss, Gereon / Trapp, Mario et al. | IEEE | 2022


    An Adaptable Software Safety Process for Automotive Safety-Critical Systems

    Czerny, Barbara J. / Murray, Brian T. / D'Ambrosio, Joseph G. et al. | SAE Technical Papers | 2004


    An Adaptable Software Safety Process for Automotive Safety-Critical Systems

    Czerny, B. J. / D'Ambrosio, J. G. / Jacob, P. O. et al. | British Library Conference Proceedings | 2004


    Satisfying Design Constraints for Automotive Safety-Critical Systems

    Herath, I. / Roberts, C. / Arvanitis, T. N. et al. | British Library Conference Proceedings | 2007