WITTENSTEIN high integrity systems


Compatible Architectures: ARM Cortex-M0, Cortex-M3, Cortex-M4, Cortex-M7, Cortex-R4, Cortex-R5, Cortex-A53, Cortex-A8, Cortex-A9; ARM7, ARM9, ARM11

SAFERTOS is a pre-emptive, pre-certified, safety critical real-time operating system that delivers unprecedented levels of determinism and robustness to embedded systems.

SAFERTOS is available pre-certified to ISO 26262 ASILD for Automotive and IEC 61508 SIL3 for Industry, and supports certification to FDA 510(k) and IEC 62304 for the Medical Sector, DO 178C for Aerospace, and EN 50128 for Railway.

It is delivered with full certification evidence in the form of a Design Assurance Pack (DAP) for industrial or Design History File (DHF) for medical. The DAP/DHF contains the Safety Manual. Following the instructions within this manual generates the evidence required by auditors – resulting in no need to re-test SAFERTOS on the target hardware.

With an imperceptible boot time, SAFERTOS is the ideal choice for systems that need to respond quickly to safety events, where the system must be placed into a safe state in the shortest possible time.

The Task Isolation and Separation feature of SAFERTOS using the processor’s MPU/MMU enables developers to co-locate safety critical code with non-safety critical code. Used effectively this can greatly reduce the amount of safety critical code required within an industrial device, resulting in lower development and maintenance costs.

SAFERTOS can be provided with integrated Middleware and Safety Components, and full support and training is available. Demos and datasheets are free to download from the WITTENSTEIN high integrity systems’ website.



  • Available pre-certified to IEC 61508 SIL3 and ISO 26262 ASILD
  • Supports certification in medical, industrial, automotive, aerospace and transport applications
  • Ideal for multi-core/ multi processor devices
  • Migration path from FreeRTOS
  • Full source code and Design Assurance Pack


  • Intrinsic self-verification
  • MPU/MMU Support as Standard
  • Any number of Tasks can be created, and any number of priorities can be used
  • MISRA C Compliant
  • 100% MC/DC verification coverage

Medical, Industrial, Automotive, Aerospace, Rail

Contact Information

WITTENSTEIN high integrity systems

Brown’s Court Long Ashton Business Park
Yanley Lane, Long Ashton
Bristol, BS41 9LB

tele: +44 1275 395 600
fax: +44 1275 395 600