Automatische Wertebereichsanalyse
Formale Verifikation für SPS-Programme
Details
Der Wertebereich ist die Menge aller Werte, die eine Variable während der Programmausführung tatsächlich annehmen kann. Der Beitrag stellt eine automatische Bestimmung der Wertebereiche von Variablen in SPS-Programmen vor. Mit dieser Information lassen sich Fehler schnell erkennen beziehungsweise ausschließen, ohne dass das korrekte Programmverhalten formal spezifiziert werden muss. Die verwendeten Techniken benötigen kein Modell des Programmverhaltens, sondern verarbeiten direkt den Programmcode. Der Ansatz ist im Werkzeug Arcade.PLC implementiert und wird an einer industriellen Fallstudie illustriert.
Preis: 4,90 €Zum Shop
