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.
Formale Verifikation von Spezifikations-Modellen
Formal verification of specification models
it + ti. Informationstechnik und Technische Informatik ; 43 , 1 ; 35-38
2001
4 Seiten, 3 Bilder
Aufsatz (Zeitschrift)
Deutsch
Absicherung sicherheitskritischer Systeme - formale Verifikation
Kraftfahrwesen | 2009
|Formale Beschreibung und Verifikation von Hardwareprotokollen
Tema Archiv | 1995
|Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Kraftfahrwesen | 2002
|Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|Spezifikations-Compiler zur Code- und Dokumentationserstellung
IuD Bahn | 1999
|