Download FreeRTOS

Quality RTOS & Embedded Software


Safety Critical Real-Time OS


[Text provided by WITTENSTEIN high integrity systems]

IEC 61508
EN 50128
FDA 510(k)
IEC 62304

IEC 61513
IEC 62061
ISO 26262
DO 178C
SAFERTOS® is a functional safety, pre-certified, Real Time Operating System (RTOS) for embedded processors. It delivers top performance and pre-certified dependability, whilst utilising minimal resources.

  • Developed by WITTENSTEIN high integrity systems (WHIS), a FreeRTOS partner that specialises in safety
  • Available pre-certified to IEC 61508 SIL 3 and ISO 26262 ASILD by TÜV SÜD
  • Supports a wide range of international development standards
  • Based on the FreeRTOS functional model and therefore easy to migrate to
  • See the WHIS partial customer list
  • See Customer Reviews
SAFERTOS is delivered with a Design Assurance Pack (DAP) which contains every design artefact produced during the full development life cycle. The DAP ensures an easy route to achieving certification of SAFERTOS once integrated into a Safety Critical device.

Download the free manual - Upgrading from FreeRTOS to SAFERTOS.

SafeRTOS or FreeRTOS?

SAFERTOS is based on the functional model of the FreeRTOS kernel, however, it is not the FreeRTOS kernel. It has been completely re-designed by a team of functional safety experts at WHIS. Their engineers took the FreeRTOS kernel functional model, subjected it to a full HAZOP, and generated a set of safety requirements. The resulting functional and safety requirements sets were put through an IEC 61508-3 SIL 3 development life cycle, creating the SAFERTOS code base and DAP.

Free demos are available for SAFERTOS : Download them here.

Easier Certification

Certifying SAFERTOS integrated within a product is a simple and hassle-free process.

Contained within the Design Assurance Pack, or DAP, (which is included with SAFERTOS purchases) is the all-important Safety Manual. The Safety Manual explains exactly how to install and integrate SAFERTOS into your development environment. Following the concise instructions will also generate the evidence required by your auditors to confirm the process has been followed correctly. This removes the need for re-testing on your target hardware, and provides a solid dependable platform for your development. The DAP contains all the Planning, Design and Verification artefacts, and is specific to the selected Processor/Compiler combination.



For medical applications SAFERTOS is supplied with a Design History File (DHF). The DHF has been independently validated for compliance with FDA510(k) Class III medical device standards and EN62304. Request a medical information pack here, or view more information here.


Available pre-certified to IEC 61508 SIL3 by TÜV SÜD in 2007, SAFERTOS is ideal for industrial applications. Learn more.


WHIS have created a complete RTOS package for the Automotive sector:
  • SAFERTOS - pre-certified to ISO 26262 ASIL D
  • SAFECheckpoints - fulfils the requirement of ISO 26262 ASIL C&D software designs to have a runtime monitor
  • OSEK OS Adaptation Layer
Learn more or Download the SAFERTOS for Automotive App Note here.

Support and Services

For every RTOS purchased, WHIS supplies 12 months free Support and Maintenance. For any question you want answered, any support or guidance that you need during design decisions, they are right there ready to help you. WHIS engineers enjoy sharing their engineering experiences, and take great pride in providing a responsive, friendly and helpful service. To see more about the support offered, including technical help and updates, view the WHIS support page.

One of the advantages of a Support and Maintenance contract is the re-validation of SAFERTOS. Once per year, on request, WHIS will re-validate SAFERTOS for a newer version of the compiler, meaning you always have access to the latest tools.

Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.