Die Komplexität der in der Automobilindustrie eingesetzten Steuergerätesoftware nimmt stark zu. Es ist notwendig, den Entwicklungsprozess dieser Tatsache anzupassen. Ein Weg ist der Einsatz von CASE-Werkzeugen (z. B. Statemate von der Firma i-Logix) zur Erstellung von Spezifikationen für die Steuergerätesoftware. Um die Korrektheit dieser Spezifikationen nachzuweisen, ist eine von OFFIS entwickelte Verifikationsumgebung erhältlich. Die Erfahrungen mit dieser Verifikationsumgebung werden in diesem Beitrag dargestellt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formale Verifikation von Spezifikations-Modellen


    Weitere Titelangaben:

    Formal verification of specification models


    Beteiligte:
    Jansen, P. (Autor:in)


    Erscheinungsdatum :

    2001


    Format / Umfang :

    4 Seiten, 3 Bilder



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    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



    Spezifikations-Compiler zur Code- und Dokumentationserstellung

    Giger, Anton / Bramkamp, Klau | IuD Bahn | 1999