SAFERTOS

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,  7.4.2.12 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:

  • IEC 61508-3 SIL 3 certified
  • IEC 62304 Class C compliant
  • Full Design Assurance Pack
  • Supports popular 32 bit microcontrollers
  • Compact memory footprint (ROM 6-15 K, RAM 500 bytes, Stack 400 bytes/task)
  • Priority-based scheduling
  • MPU support
  • Queue-based communication