Creating a safer, greener, more secure future.

Supported Devices for SAFERTOS

Bespoke for your processor/compiler combination

SAFERTOS® supports a broad range of hardware, the most popular supported platforms are listed in the table below.

If your preferred 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.

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.

Supported Platforms for SAFERTOS

Download Free Demos, Datasheets and Evaluations of SAFERTOS® here.

Manufacturer Device Family
AMD Xilinx Microblaze Microblaze
Zynq-7000 ARM Cortex-A9
UltraScale MPSoC ARM Cortex-R5, A53, Microblaze
Kria K26 ARM Cortex-R5
Altera Nios II Nios II
Cyclone V SoC ARM Cortex-A9
Andes Technology AE250_N22 RiscV32
AE250_N25 RiscV32
Atmel AVR32 AVR32
AT91SAM3 ARM Cortex-M3
AT91SAM4 ARM Cortex-M4
AT91SAM7 ARM7
AT91SAM9 ARM9
Cypress PSoC ARM Cortex-M0
PSoC 4 ARM Cortex-M0, M0+
PSoC 5LP ARM Cortex-M3
PSoC 6 ARM Cortex-M
FM0+ ARM Cortex-M0+
FM3 ARM Cortex-M3
FM4 ARM Cortex-M4
FCR4 ARM Cortex-R4
Traveo ARM Cortex-R5
Traveo II ARM Cortex-M4
Infineon XMC4000 family ARM Cortex-M4F
CYT2B98CAE ARM Cortex-M4
AURIX TC2x TriCore 1.6
AURIX TC3x TriCore 1.6.2
AURIX TC4xx TriCore 1.8
Microchip MiV_RV32 RiscV32
PIC32MZ, MZ EF MPS M14K
PIC32MX MIPS M4K
dsPIC33AK128MC106 dsPIC33A DSC
 dsPIC33AK512MPS512 dsPIC33A DSC
SmartFusion ARM Cortex-M3
SmartFusion 2 ARM Cortex-M3
Nordic Semiconductor nRF52xx ARM Cortex-M4 CPU
NXP MPC55x, 56x, 57x Power Architecture e200z2, e200z4, e200z7
RV32M1 RISC-V RI5CY core
S32V ARM Cortex A53/M4
S32K11x ARM Cortex M0+
S32K14x ARM Cortex M4F
S32G2xx ARM Cortex M7
S32G3xx ARM Cortex M7
S32K34xx ARM Cortex M7
LPC4000 ARM Cortex-M4
LPC1100 ARM Cortex-M0+/M0
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
Qualcomm ARM Fixed Virtual Platform (Simulator) ARM Cortex-R52
Renesas RH850/C1x, /D1x, /E1x, /F1x, /P1x, /V1x G3, G3M, G3MH
RX600 RXv1, v2
R-Car M3 R-Car 3rd generation
RX200 RXv1, v2
RX72 RXv3
RX72N RX Family
RZ series ARM Cortex-A9
R-Car H3 ARM Cortex R7
RH850U2A16 RH850 (4th generation)
Silicon Labs Giant Gecko, EFM32 family ARM Cortex-M3, M4, M0+
ST Microelectronics STM32F3, STM32F4, STM32L4, STM32G4,STM32wBx0, STM32WBx5 ARM Cortex-M4F
STM32H755 ARM Cortex-M4 and M7
STM32F2, STM32F1, STM32L1 ARM Cortex-M3
STM32H723 STM32H7
STM32G474 ARM Cortex-M4
STM32L5, STM32U5, STM32WBA ARM Cortex-M33
STM32F0, STM32G0, STM32L0, STM32U0, STM32WBO ARM Cortex-M0+
STM32F7, H7 ARM Cortex-M7
STM32H7 Dual Core ARM Cortex-M4 and ARM Cortex-M7
STM32H735 ARM Cortex M7
SPC5 series Power Architecture e200z0, e200z2, e200z4
Synopsys ARC EM7D ARC EM
ARC HS38 ARC HS v3.0
ARC HS4X ARC HS v4.0
Texas Instruments Stellaris LM3 ARM Cortex-M3
Jacinto TDA4VH ARM Cortex-R5F,TI DSP C7
Jacinto TDA4VM ARM Cortex-R5F, TI DSP C66, TI DSP C7
Jacinto TDA4VL ARM Cortex-R5, TI DSP C66, TI DSP C7
Tiva TM4Cx ARM Cortex-M4F
Hercules RM4x, TMS570LS ARM Cortex-R4F
Hercules TMS470 ARM Cortex-M3
Hercules TMS570 ARM Cortex-R5F
TMS320 Delfino C28x
Concerto ARM Cortex-M3

 

Free Demos & Manuals

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