Design Process of Embedded Automotive Systems—Using Model Checking for Correct Specifications
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.