Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

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.
  • Vollständige Referenz
  • BibTeX
Damm, W., Schulte, C., Wittke, H., Segelken, M., Higgen, U. & Eckrich, M., (2003). Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. In: Dittrich, K. R., König, W., Oberweis, A., Rannenberg, K. & Wahlster, W. (Hrsg.), 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.. (S. 340-344).
@inproceedings{mci/Damm2003,
author = {Damm, Werner AND Schulte, Christoph AND Wittke, Hartmut AND Segelken, Marc AND Higgen, Uwe AND Eckrich, Michael},
title = {Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung},
booktitle = {INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2003},
editor = {Dittrich, Klaus R. AND König, Wolfgang AND Oberweis, Andreas AND Rannenberg, Kai AND Wahlster, Wolfgang} ,
pages = { 340-344 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.34-57.pdf112.5Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-363-6
ISSN: 1617-5468
Datum: 2003
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige