Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September - 2. Oktober 2003 in Frankfurt am Main. P-34, 340-344 (2003).

GI, Gesellschaft für Informatik, Bonn
2003


Editors

Klaus R. Dittrich (ed.), Wolfgang König (ed.), Andreas Oberweis (ed.), Kai Rannenberg (ed.), Wolfgang Wahlster (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Werner Damm , Christoph Schulte , Hartmut Wittke , Uwe Higgen and Michael Eckrich

Abstract


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.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-363-6


Last changed 04.10.2013 17:59:16