Automatische Wertebereichsanalyse
€4.90
In stock
article number
03654_2012_07-08_06
Formale Verifikation für SPS-Programme
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.
| Authors | SEBASTIAN BIALLAS / STEFAN KOWALEWSKI / RWTH Aachen / BASTIAN SCHLICH / ABB Forschungszentrum Deutschland |
|---|---|
| Publishing Date | 8 Jul 2012 |
| Format | |
| Zeitschrift | atp edition - Ausgabe 07-08 2012 |
| Publisher | DIV Deutscher Industrieverlag GmbH |
| Language | German |
| Pages | 8 |
| Title | Automatische Wertebereichsanalyse |
| Subtitle | Formale Verifikation für SPS-Programme |
| Description | 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. |
Write Your Own Review
