Automatische Prufung von Safety-SPS-Programmen gegen Richtlinien fur Safety-Programmierung

摘要

Dieser Beitrag stellt ein Konzept zur automatischen Prufung von sicherheitsgerichteten SPSProgrammen gegen Sicherheits-Programmierungs-Richtlinien vor. Die Richtlinien liegen in textueller Form vor und bedurfen derzeit noch einer menschlichen Interpretation und Umsetzung, eine automatische Prufung ist nicht verfugbar. Zur Demonstration des Konzeptes einer automatischen Prufung haben die Autoren die prototypische Implementierung eines Prufwerkzeuges fur das bekannte SPS-Programmiersystem CoDeSys der Firma 3S vorgenommen. Dieser Beitrag zeigt typische Schwierigkeiten bei der Entwicklung eines solchen Prufwerkzeuges auf und erlautert, wie dieses dem Ingenieur helfen kann, derartige Richtlinien gezielt umzusetzen und deren Einhaltung zu dokumentieren.