Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen [article]

Dirk Pollmächer, Universitäts- Und Landesbibliothek Sachsen-Anhalt, Martin-Luther Universität
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
more » ... mit Zeitbedingungen. Um dieses Ziel zu erreichen, wurde auf das Wissen aus dem Bereich von Zeitsystemen zurückgegriffen, wobei sowohl bestehende Techniken und Datenstrukturen angepasst als auch neue entwickelt wurden. Die vorgestellte Translation Validation erfüllt besondere Anforderungen, die sich durch die Verwendung realer Steuerungen, realer Zeitbedingungen und realer Modelle ergeben. Der komplexen Semantik der vorgegebenen Steuermodelle und -programme wird durch die Verwendung von SPS-Zeitautomaten als einfaches internes Basismodell begegnet. SPS-Zeitautomaten besitzen die Eigenschaften der Steuermodelle und -programme, was ein explizites Modellieren dieser Eigenschaften durch Zwischenzustände unnötig macht. Die Anzahl der Modellzustände und damit die Modellkomplexität steigt während der Translation Validation deshalb nicht zusätzlich an, was die Verarbeitung realer Modellgrößen ermöglicht.
doi:10.25673/2294 fatcat:77neisu7lnemnengcntwufj2tm