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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Runtime adaptation in safety-critical automotive systems


    Contributors:


    Publication date :

    2007


    Size :

    8 Seiten, 2 Bilder, 26 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    Satisfying Design Constraints for Automotive Safety-Critical Systems

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


    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


    Satisfying design constraints for automotive safety-critical systems

    Herath,I. / Roberts,C. / Arvanitis,T.N. et al. | Automotive engineering | 2007