Automatic Value-Set Analysis
DOI:
https://doi.org/10.17560/atp.v54i07-08.2179Abstract
We present an approach to automatically determine the value sets of variables in PLC programs. The value set includes all values that a variable can take during all possible program executions. This information makes it possible to detect or exclude errors in PLC code without having to specify the correct behaviour formally. The verification techniques work directly on the program code so they do not require the program to have been translated into a formal model. The approach is implemented in the Arcade.PLC tool. An industrial case study is included.
Downloads
Published
2013-05-21
Issue
Section
Technical Paper / Peer-Review
License
Die Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.
