In einer Vielzahl von Produkten wie z.B. Überwachungs- und Regelungssysteme in Zügen findet man heute integrierte mikroelektronische Steuerungen als eingebettete Systeme. Deren Entwurf benötigt aufgrund ihrer Komplexität und der hohen Sicherheitsanforderungen leistungsfähige Validierungstechniken. In immer stärkerem Maße werden zur Qualitätssicherung mathematisch fundierte Verifikationstechniken eingesetzt. Der Artikel gibt einen Überblick über die Statemate-Verifikationsumgebung der Firma i-Logix und ihre Anwendung zur Verifikation eingebetteter Steuerungssysteme. Ein Schwerpunkt liegt auf der Präsentation von neu eingeführten Analysetechniken sowie der Integration von Live Sequence Charts, einer Erweiterung von Message Sequence Charts.
Formale Analyse und Verifikation von Statemate-Entwürfen
it+ti - Informationstechnik und Technische Informatik ; 43 , 1 ; 29-34
2001-01-01
6 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Statemate basierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
British Library Conference Proceedings | 2000
|Absicherung sicherheitskritischer Systeme - formale Verifikation
Automotive engineering | 2009
|Formale Verifikation von Spezifikations-Modellen
Tema Archive | 2001
|Formale Beschreibung und Verifikation von Hardwareprotokollen
Tema Archive | 1995
|Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Automotive engineering | 2002
|