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.
Runtime adaptation in safety-critical automotive systems
2007
8 Seiten, 2 Bilder, 26 Quellen
Conference paper
English
Safety-critical automotive systems
TIBKAT | 2006
|Satisfying Design Constraints for Automotive Safety-Critical Systems
British Library Conference Proceedings | 2007
|An Adaptable Software Safety Process for Automotive Safety-Critical Systems
SAE Technical Papers | 2004
|Satisfying design constraints for automotive safety-critical systems
Automotive engineering | 2007
|