SAFERTOS is a pre-certified real-time operating system that was derived from the popular freeRTOS. SAFERTOS is a so called “compliant item” (see also IEC 61508-3, 184.108.40.206 and Annex D) that fulfills the requirements of the IEC 61508 standard at SIL 3 und is therefore perfectly suited for the application in safety-critical embedded systems. The operating system supports all common 32-Bit microcontrollers. SAFERTOS is available as so called variants. A variant is defined by a microcontroller and a corresponding development environment.
SAFERTOS is delivered with a (variant-specific) Design Assurance Pack. A Design Assurance Pack contains all design artefacts produced during the development of SAFERTOS. It contains therefore all the information required to use SAFERTOS as a central building block within a system that itself shall become certified. SAFERTOS Key Features: