Eine gemeinsame Arbeitsgruppe von PROFIBUS & PROFINET International (PI) und der OPC Foundation definiert die Sicherheitskommunikatiosschicht "OPC UA Safety". Sie erweitert OPC UA, um die Anforderungen der funktionalen Sicherheit zu erfüllen, wie sie in den Normenreihen IEC 61508 und IEC 61784-3 definiert sind. Das Protokollverhalten wird durch Zustandsautomaten für die Endpunkte der Sicherheitskommunikation (SafetyProvider, SafetyConsumer) spezifiziert.
Dieses Projekt verifiziert die Korrektheit der spezifizierten Zustandsautomaten durch formale Modellprüfung und durch Simulation, generiert Testfälle und entwickelt ein Testwerkzeug für den Konformitätstest von OPC UA Safety Implementierungen.
Grundlage der einzelnen Arbeitspakete ist ein UML-Modell des OPC UA Safety Kommunikationsprotokolls. Es wird in die Simulationsumgebung und den Testfallgenerator importiert. Teil der Simulationsaktivitäten ist eine hybride Simulation gegen prototypische Implementierungen von Arbeitsgruppenmitgliedern. Die Werkzeugkette verwendet Rhapsody UML für die grundlegende Modellierung, nusmv|spin für die Modellprüfung, ifak DOME für die Simulation und ifak TCG für die Testfallgenerierung.
