Qualität sicherheitsrelevanter Software für speicherprogrammierbare Steuerungen

Die Steuerung sicherheitsrelevanter Funktionen von Maschinen wird heute vermehrt durch Software vorgenommen. Bei der Entwicklung und Prüfung sicherheitsrelevanter Software werden nach IEC 61508-3 zahlreiche Verfahren eingesetzt, um Fehler bei der Programmierung zu vermeiden. Die statische Analyse von Software ist dabei ein beliebtes Werkzeug, um Schwachstellen frühzeitig zu erkennen bzw. komplexe Algorithmen zu identifizieren, damit sie ausgiebigen Tests unterzogen werden können. Gemeinsam mit dem Fachbereich Informatik der Fachhochschule Bonn/Rhein-Sieg wurde ein Werkzeug entwickelt, mit dem die Qualität von SPS Software überprüft werden kann. Das Werkzeug steht kostenlos im Internet zum Download zur Verfügung. Der Beitrag beschreibt, wie die Qualität gemessen wird und worauf bei der Benutzung des Werkzeuges zu achten ist