SAFERTOS® supports a wide range of microcontrollers, processors and SoCs from leading semiconductor vendors.
Supported architectures include ARM® Cortex®-M, Cortex-R and Cortex-A devices, RISC-V, TriCore™, RH850, ARC, Power Architecture and DSP-based platforms. SAFERTOS® is supplied for a broad range of processor/compiler combinations, with additional ports available on request.
If your preferred processor or toolchain is not listed below, please contact us and we can advise on current support options and bespoke ports.
Architecture Support
SAFERTOS® is available for a wide range of embedded processor architectures, including:
ARM
- Cortex-M0/M0+
- Cortex-M3
- Cortex-M4/M4F
- Cortex-M7
- Cortex-M33
- Cortex-M55
- Cortex-R4
- Cortex-R5
- Cortex-R7
- Cortex-R52
- Cortex-R82
- Cortex-A5
- Cortex-A7
- Cortex-A9
- Cortex-A53
- Cortex-A72
RISC-V
Supported RISC-V platforms include devices from Andes Technology, Microchip and NXP.
Other Architectures
- Infineon TriCore™
- Renesas RH850
- Power Architecture
- ARC EM and ARC HS
- DSP-based processors
- FPGA soft-core processors including MicroBlaze and Nios II
- Xtensa LX6 and LX7
- Microchip dsPIC33 and dsPIC33A
- MIPS
Free Demos & Manuals
Download fully functional, time-limited SAFERTOS® demos, plus manuals, datasheets, and more.
Compiler Support
SAFERTOS® supports all major compiler toolchains.
When developing software to IEC 61508 and other functional safety standards, development tools that directly affect the generated code must be appropriately justified. The SAFERTOS® approach is to comprehensively verify the generated object code rather than certify individual compiler tools.
This verification is performed using MC/DC testing of the object code produced by the compiler. Each SAFERTOS® release achieves 100% MC/DC coverage against the SAFERTOS® requirements set. This approach helps demonstrate that requirements have been fully tested and that there is no undocumented or unused code within the RTOS.
The compiler verification methodology used by SAFERTOS® has been accepted by TÜV SÜD since 2007.
Semiconductor Partners
SAFERTOS® is available for devices from a broad range of semiconductor vendors, including but not limited to:
- AMD Xilinx
- Infineon
- Microchip
- NXP
- Renesas
- STMicroelectronics
- Texas Instruments
- Qualcomm
- Silicon Labs
- Nordic Semiconductor
- Cypress
- Andes Technology
- Altera
More information on solutions with these partners can be found in the WHIS Partner Ecosystem
Additional Device Support
The platforms listed on this page represent the most commonly requested SAFERTOS® ports.
If your preferred processor, compiler or hardware platform is not listed, please contact us. We regularly assess support for new processor/compiler combinations and can advise on available options for your project. New devices may already be under development but not included on this webpage.
Ask Us a Question
For pricing, licensing, or any other sales or product related questions, please contact us.
