Logo des Repositoriums

Auflistung nach Autor:in "Damm, Werner"

1 - 3 von 3
  • Zeitschriftenartikel
    Autonome Systeme - Fähigkeiten und Anforderungen
    (Informatik Spektrum: Vol. 40, No. 5, 2017) Damm, Werner; Kalmar, Ralf
    Getrieben durch aktuelle Diskussionen im Automobilbereich sind autonome Systeme in aller Munde. Tatsächlich sind automatisierte Systeme unterschiedlichen Autonomiegrads Bestandteil aktueller Roadmaps und Projektionen in vielen Branchen. In diesem Artikel werden die verschiedenen branchenspezifischen Taxonomien und Standards zusammengefasst und im Hinblick auf ihre funktionalen Fähigkeiten und Anforderungen an Methoden, Prozesse und Werkzeuge aus Sicht der Softwaretechnik charakterisiert.
  • 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.