TY  - CHAP
U1  - Konferenzveröffentlichung
A1  - Kärcher, Thomas
A1  - Schullerus, Gernot
ED  - Frey, Georg
ED  - Schumacher, Walter
ED  - Verl, Alexander
T1  - Analyse von im Kontaktplan implementierten Ablaufsteuerungen
T2  - SPS IPC Drives : Elektrische Automatisierung, Systeme und Komponenten, Internationale Fachmesse und Kongress : Nürnberg, 25.-27.11.2014
N2  - In diesem Beitrag wurde gezeigt, wie mit Hilfe von Verfahren zur Analyse von Petri–Netzen ein in der Programmiersprache Kontaktplan erstelltes SPS–Programm analysiert werden kann. Das Ziel des Verfahrens ist dabei nicht eine Verifikation im eigentlichen Sinne sondern das Aufdecken von verbotenen oder unerwünschten Zuständen. Im Beitrag wurden Regeln zur Transformation des im Kontaktplan erstellten Ablaufs in ein Petri–Netz angegeben und anhand der Analyse eines fehlerhaft implementierten Ablaufs die Leistungsfähigkeit des Ansatzes vorgestellt. Das Beispiel zeigt, dass Programmfehler bereits vor einem Test an der realen Anlage erkannt werden können. Bei der weiteren Entwicklung des Verfahrens liegt ein Schwerpunkt auf der Verallgemeinerung auf im Kontaktplan entwickelte Programmorganisationseinheiten, die nicht nur reine
Abläufe implementieren. Ein weiterer wichtiger Entwicklungsschritt ist die graphische Unterstützung der Fehlersuche im Erreichbarkeitsgraphen, so dass insgesamt ein leistungsfähiges Werkzeug zur Unterstützung der Implementierung von Ablaufsteuerungen im Kontaktplan zur Verfügung steht.
Y1  - 2014
U6  - https://nbn-resolving.org/urn:nbn:de:bsz:rt2-opus4-3407
UN  - https://nbn-resolving.org/urn:nbn:de:bsz:rt2-opus4-3407
SN  - 978-3-86359-272-1
SB  - 978-3-86359-272-1
SP  - 9
S1  - 9
PB  - Apprimus Wissenschaftsverlag
CY  - Aachen
ER  -