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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formale Analyse und Verifikation von Statemate-Entwürfen




    Publication date :

    2001-01-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Statemate basierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung

    Damm, W. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2000



    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Automotive engineering | 2009



    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen

    Sperling,T. / Esterel Technologies,Ottobrunn,DE | Automotive engineering | 2002