Konferenzbeitrag
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2003
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Im folgenden wird der Einsatz eines Prototypen zur formalen Verifikation von ASCET-SD-Modellen im Kontext der aktuell von BMW entwickelten Aktivlenkung [EPK+02] geschildert. Der Prototyp wurde zur Überprüfung sicherheitsrelevanter Eigenschaften der Abschaltlogik verwendet, welche ein zentraler Bestandteil der Steuerung der Aktivlenkung ist.