Logo des Repositoriums

Auflistung nach Autor:in "Schulte, Christoph"

1 - 2 von 2
  • Konferenzbeitrag
    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), 2003) Damm, Werner; Schulte, Christoph; Wittke, Hartmut; Segelken, Marc; Higgen, Uwe; Eckrich, Michael
    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.
  • Zeitschriftenartikel
    Model Checking
    (Informatik-Spektrum: Vol. 27, No. 2, 2004) Buschermöhle, Ralf; Brörkens, Mark; Brückner, Ingo; Damm, Werner; Hasselbring, Wilhelm; Josko, Bernhard; Schulte, Christoph; Wolf, Thomas
    Die Gewährleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. „sicherheitskritischen“ Systeme zu, bei dem ein Systemversagen Menschenleben gefährden kann.