With SAFEPROG and SafeOS, KW-Software offers two products, both based on the know-how in the field or control and safety technology, which can be used and adapted as software components in a safety-focussed system according to IEC 61508 (SIL 3).
SAFEPROG is the safe IEC 61131 programming system. It provides a very clear user interface and supports the programming languages LD and FBD. The safety requirements are fulfilled by different error-detecting features, an extensive user management, diversified code creation and standard safety function blocks.
SafeOS is the safe IEC 61131 PLC runtime system. It is composed of two redundant PLC systems, receiving the program code to be executed from the diversified SAFEPROG code generation.
The systems which are currently going to be certified are based on an INTEL ARM PXA 250 architecture. However, SafeOS can be transferred to other processors.
The large number of open interfaces ensure that the safe software by KW-Software can be perfectly adapted to customer-specific concepts. For example the safe communication, the bus configuration, the application-specific safe blocks and the concept of the redundant runtime systems can be adapted. Via these interfaces, the safety control concept can be realized for the most diverse fieldbusses.
By using SAFEPROG and SafeOS when developing safe controls, development efforts are greatly reduced and the certification process is considerably simplified.