Logo des Repositoriums
 

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Kurzanzeige
dc.contributor.authorDamm, Werner
dc.contributor.authorSchulte, Christoph
dc.contributor.authorWittke, Hartmut
dc.contributor.authorSegelken, Marc
dc.contributor.authorHiggen, Uwe
dc.contributor.authorEckrich, Michael
dc.contributor.editorDittrich, Klaus R.
dc.contributor.editorKönig, Wolfgang
dc.contributor.editorOberweis, Andreas
dc.contributor.editorRannenberg, Kai
dc.contributor.editorWahlster, Wolfgang
dc.date.accessioned2019-11-14T10:49:32Z
dc.date.available2019-11-14T10:49:32Z
dc.date.issued2003
dc.description.abstractIm 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.de
dc.identifier.isbn3-88579-363-6
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/29794
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-34
dc.titleFormale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkungde
dc.typeText/Conference Paper
gi.citation.endPage344
gi.citation.publisherPlaceBonn
gi.citation.startPage340
gi.conference.date29. September - 2. Oktober 2003
gi.conference.locationFrankfurt am Main
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.34-57.pdf
Größe:
112.5 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P034 - INFORMATIK 2003 - Innovative Informatikanwendungen - Band 1