Damm, WernerSchulte, ChristophWittke, HartmutSegelken, MarcHiggen, UweEckrich, MichaelDittrich, Klaus R.König, WolfgangOberweis, AndreasRannenberg, KaiWahlster, Wolfgang2019-11-142019-11-1420033-88579-363-6https://dl.gi.de/handle/20.500.12116/29794Im 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.deFormale Verifikation von ASCET Modellen im Rahmen der Entwicklung der AktivlenkungText/Conference Paper1617-5468