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.
Ein Verfahren zur Software-Verifikation
A method for software verification
Regelungstechnische Praxis ; 26 , 2 ; 73-78
1984
6 Seiten, 14 Bilder
Aufsatz (Zeitschrift)
Deutsch
Verifikation von AUTOSAR Software Architekturen
Kraftfahrwesen | 2010
|Werkzeuggestuetzte Verifikation des Entwurfs von Software
Tema Archiv | 1984
|BESCHLEUNIGTE VERIFIKATION DER KRAFTFAHRZEUG-SOFTWARE IN FAHRZEUGEN
Europäisches Patentamt | 2022
|Verfahren zur Verifikation eines Signalzustandes von Lichtsignalanlagen
Europäisches Patentamt | 2018
|