Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

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.

Damm, Werner; Schulte, Christoph; Wittke, Hartmut; Segelken, Marc; Higgen, Uwe; Eckrich, Michael (2003): Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-363-6. pp. 340-344. Regular Research Papers. Frankfurt am Main. 29. September - 2. Oktober 2003

Sammlungen

P034 - INFORMATIK 2003 - Innovative Informatikanwendungen - Band 1

Komplettanzeige

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Volltext URI

Dokumententyp

Dateien

Zusatzinformation

Datum

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Verlag

Zusammenfassung

Beschreibung

Schlagwörter

Zitierform

DOI

Tags

Sammlungen