Experts in embedded RTOS, with a specialisation in safety certified software

Supported Platforms

SAFERTOS supports a broad range of platforms, the most popular ones are listed below. If your platform is not listed, please let us know which processor/tool chain you are using and we’ll update you on the latest tool support.

Download Free Demos, Datasheets and Evaluations of SAFERTOS here.

Manufacturer Device Family
Altera Nios II Nios II
Cyclone V SoC ARM Cortex-A9
Atmel AVR32 AVR32
AT91SAM3 ARM Cortex-M3
AT91SAM4 ARM Cortex-M4
AT91SAM7 ARM7
AT91SAM9 ARM9
Infineon XMC4000 family ARM Cortex-M4F
AURIX TC2x TriCore 1.6
AURIX TC3x TriCore 1.62
AURIX Tricore
Microchip PIC32MZ, MZ EF MPS M14K
PIC32MX MIPS M4K
dsPIC33 dsPIC DSC
Microsemi (Formerly Actel) SmartFusion2 ARM Cortex-M3
SmartFusionA2F ARM Cortex-M3
Nordic Semiconductor nRF52xx ARM Cortex-M4 CPU
NXP (Formerly Freescale) MPC55x, 56x, 57x Power Architecture e2000z2, e200z4, e200z7
RV32M1 RISC-V RI5CY core
S32V ARM Cortex A53/M4
S32K11x ARM Cortex M0+
S32K14x ARM Cortex M4F
LPC4000 ARM Cortex-M4
LPC1100 ARM Cortex-M0+/MO
LPC1200 ARM Cortex-M0
LPC1300 ARM Cortex-M3
LPC1500 ARM Cortex-M3
LPC1700 ARM Cortex-M3
LPC1800 ARM Cortex-M3
LPC5500 ARM Cortex-M33
Kinetis K series ARM Cortex-M4
Kinetis L series ARM Cortex-M0+
i.MX RT series ARM Cortex-M7
i.MX6x series ARM Cortex-A9, ARM Cortex-A7
i.MX2x ARM9
QorlQ Platforms Power Architecture
Renesas RH850/C1x, /D1x, /E1x, /F1x, /P1x, /V1x G3, G3M, G3MH
RX600 RXv1, v2
RX200 RXv1, v2
RZ series ARM Cortex-A9
Silicon Labs Giant Gecko, EFM32 family ARM Cortex-M3, M4, M0+
ST Microelectronics STM32F3, STM32F4, STM32L4 ARM Cortex-M4
STM32F2, STM32F1, STM32L1, STM32W ARM Cortex-M3
STM32F0 ARM Cortex-M0
STM32F7, H7 ARM Cortex-M7
STM32H7 Dual Core ARM Cortex-M4 and ARM Cortex-M7
SPC5 series e200z0, e200z4d
Synopsys ARC EM7D ARC EM
Texas Instruments Stellaris LM3 ARM Cortex-M3
Tiva TM4Cx ARM Cortex-M4
Hercules RM4x, TMS570 ARM Cortex-R4F
Hercules TMS470 ARM Cortex-R4F
Hercules TMS570 ARM Cortex-R5F
TMS320 Delfino C28x
Concerto ARM Cortex-M3
Xilinx Microblaze Microblaze
Zynq-7000 ARM Cortex-A9
UltraScale MPSoC ARM Cortex-R5, A53, Microblaze

Free Demos & Manuals

Download fully functional, time-limited SAFERTOS demos, plus manuals, datasheets, and more.

Compilers

SAFERTOS supports all popular compilers.

When developing to IEC 61508-3, the development tools that directly affect the code should be of the same SIL level as the code produced. The WITTENSTEIN high integrity systems approach to this problem is to comprehensively verify the output of the compiler and not the compiler itself. This verification is implemented by using MC/DC testing on the object code produced by the compiler. Each SAFERTOS version must achieve 100 percent MC/DC test coverage when testing against our requirements set. This not only ensures that the compiler’s output is correct, it also ensures all requirements have been fully tested and that there is no unused or undocumented code within our RTOS.

  • This approach to tool verification has been accepted by TÜV SÜD since 2007, and allows SAFERTOS to support all popular tools.