Die Komplexität der in der Automobilindustrie eingesetzten Steuergerätesoftware nimmt stark zu. Es ist notwendig, den Entwicklungsprozess dieser Tatsache anzupassen. Ein Weg ist der Einsatz von CASE-Werkzeugen (z.B. Statemate von der Firma i-Logix) zur Erstellung von Spezifikationen für die Steuergerätesoftware. Um die Korrektheit dieser Spezifikationen nachzuweisen, ist eine von OFFIS entwickelte Verifikationsumgebung erhältlich. Die Erfahrungen mit dieser Verifikationsumgebung werden in diesem Beitrag dargestellt.
The complexity of the engine control units used in the automotive industry is heavily increasing. It is necessary to adapt the development process to this fact. One possible solution is the deployment of CASE Tools (e.g. "Statemate" by the company i-Logix) for generating specifications for the electronic control unit software. To prove the correctness of these specifications, a verification environment developed by OFFIS is available. The present contribution presents experiences made with this verification environment.
© 2015 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München