KW-Software's Safeprog 3
Safeprog 3.00 provides pioneering functions for efficient programming of complex safety functions. It enables the use of the IEC 61131 programming language Structured Text (ST). It is a limited variability language, meaning users can implement safety applications with ST without having to go out of the sector standards. Both Safeprog 3.00 and the included parameterization editor Safegrid comply with IEC 61508:2010 (Second Edition) up to SIL 3.