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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formale Analyse und Verifikation von Statemate-Entwürfen




    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    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. | Kraftfahrwesen | 2009


    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen

    Sperling,T. / Esterel Technologies,Ottobrunn,DE | Kraftfahrwesen | 2002