Design Process of Embedded Automotive Systems—Using Model Checking for Correct Specifications

  • Peter Jansen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1703)


The number of Embedded Control Units (ECUs) in the car is permanently increasing. Also complexity and interconnection is increased. Conventional design processes can not cope with this complexity. In the first part of this paper we show the current development-process at BMW, the second part deals with our results of using model checking to verify Statemate-models.


Model Check Finite State Machine Registered Trademark Part Deal Automotive System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Peter Jansen
    • 1
  1. 1.BMW AGqMünchenGermany

Personalised recommendations