Model-Based Development of an Adaptive Vehicle Stability Control System∗

Abstract: Safety and availability are major requirements for embedded systems in modern vehicles. However, in the automotive domain, neither conventional shutdown mechanisms nor full-fledged redundancy are appropriate means for handling faults such as failures of sensors and actuators. A suitable means for achieving the high re-quirements on safety and availability at low costs is graceful degradation by adapting the functionality of a system to the current driving situation and the available resources. However, adaptation significantly complicates the development of embedded systems. In this paper, we present an approach to the model-based design of adaptive embed-ded systems that allows coping with the increased complexity posed by adaptation. Furthermore, we show how the obtained models can be formally verified and demon-strate the feasibility of our approach by applying it to a vehicle stability control system