The number of Embedded Control Units (ECUs) in the car is permanently increasing. Also complexity and interconnection is increased. Conventional design processes cannot 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.
CITATION STYLE
Jansen, P. (1999). Design process of embedded automotive systems — using model checking for correct specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1703, pp. 2–7). Springer Verlag. https://doi.org/10.1007/3-540-48153-2_2
Mendeley helps you to discover research relevant for your work.