A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen
[article]
2018
Zur Entwicklung von Steuerungen werden häufig Modelle eingesetzt. Diese werden mit einem Übersetzer in ein Steuerprogramm übersetzt. Die Korrektheit der Übersetzung wird im Allgemeinen nicht garantiert. Das führt bei sicherheitskritischen Systemen zu einer Lücke bei der Sicherstellung der Korrektheit des Entwicklungsprozesses. Translation Validation schließt diese Lücke durch eine Überprüfung des erzeugten Programms. Diese Arbeit beschäftigt sich mit der Translation Validation realer
doi:10.25673/2294
fatcat:77neisu7lnemnengcntwufj2tm