Auflistung nach Autor:in "Segelken, Marc"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAnforderungen auf Konsistenz überprüft - Formalisierung hilft(Software Engineering 2012, 2012) Segelken, MarcIm Requirements Engineering sind Fragestellungen bzgl. der Eindeutigkeit, Widerspruchsfreiheit und Vollständigkeit Herausforderungen, die in herkömmlichen, manuell textbasierten Vorgehensweisen nur schwer zu beherrschen sind. Dieser Beitrag beschreibt für reaktive Systeme und Anforderungen, wie sie typischerweise in eingebetteten Systemen vorkommen, den Anwendungsfall der automatischen Modellunabhängigen Überprüfung von Mengen von Requirements hinsichtlich Widerspruchsfreiheit und Vollständigkeit durch Verwendung von in graphischer Darstellung repräsentierter Anforderungen durch formale Methoden.
- KonferenzbeitragFormale 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, MichaelIm 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.