A Joint Working Group of PROFIBUS & PROFINET International (PI) and OPC Foundation is defining the Safety Communication Layer “OPC UA Safety”. It extends OPC UA to fulfill the requirements of functional safety as defined in the IEC 61508 and IEC 61784-3 series of standards. The protocol behavior is specified by state machines for the safety communication endpoints (SafetyProvider, SafetyConsumer).
This project verifies the correctness of the specified state machines by formal model checking and by simulation, generate test cases and develops a test tool for the conformance testing of OPC UA Safety implementations.
Basis of the several work packages is an UML model of the OPC UA Safety communication protocol. It will be imported to the simulation environment and the test case generator. Part of the simulation activities is a hybrid simulation against prototype implementation of working group members. The toolchain uses Rhapsody UML for the basic modelling, nusmv|spin for model checking, ifak DOME for simulation, and ifak TCG for test case generation.