Es wird ein Verifikationsverfahren vorgestellt, welches der TUeV Rheinland entwickelt hat. Dieses Verfahren wurde benutzt, um die Korrektheit der Programme der Sicherungsebene des magnetischen Schwebebahnsystems 'Transrapid-Versuchsanlage Emsland' nachzuweisen. Das Verfahren geht vom Speicherabzug aus und gewinnt durch Disassemblierung einen PASCAL-aehnlichen Mnemocide, der dann in einen Programmablaufplan umgesetzt wird. Durch Einfuehrung immer komplexerer Operationen und Zusammenfassung von Bloecken entstehen schrittweise immer kuerzere und uebersichtlichere Programmablaufplaene. Die Verifikation ist mit dem Nachweis der inhaltlichen Gleichheit des letzten Programmablaufplans mit der Aufgabenstellung fuer das Programm beendet. Das Verifikationsverfahren wird an einem Beispiel ausfuehrlich erlaeutert.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Ein Verfahren zur Software-Verifikation


    Weitere Titelangaben:

    A method for software verification


    Beteiligte:
    Krebs, H. (Autor:in) / Haspel, U. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1984


    Format / Umfang :

    6 Seiten, 14 Bilder


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Verifikation von AUTOSAR Software Architekturen

    Gravier,E. / Gros,M. / Geburzi,A. et al. | Kraftfahrwesen | 2010



    BESCHLEUNIGTE VERIFIKATION DER KRAFTFAHRZEUG-SOFTWARE IN FAHRZEUGEN

    KASTER ROBERT | Europäisches Patentamt | 2022

    Freier Zugriff

    Verfahren zur Verifikation eines Signalzustandes von Lichtsignalanlagen

    KUTSCHKE MARKUS / SMUDA PEER | Europäisches Patentamt | 2018

    Freier Zugriff

    Modell und Software Verifikation vereinfacht - zeitkritische Software Anforderungen effizient testen

    Mennenga,M. / Dziobek,C. / Bahous,I. et al. | Kraftfahrwesen | 2009