End-to-End Guarantees in Embedded Control Systems

  • Rupak Majumdar
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7162)


Software implementations of controllers for physical subsystems form the core of many modern safety-critical systems such as aircraft flight control and automotive engine control. In the model-based approach to the design and implementation of these systems, the control designer starts with a mathematical model of the system and argues that key properties – such as stability and performance – are met for the model. Then, the model is compiled into code, where extensive simulations are used to informally justify that the implementation faithfully captures the model.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Rupak Majumdar
    • 1
  1. 1.Max Planck Institute for Software SystemsKaiserslauternGermany

Personalised recommendations