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

  • twitter
  • google
  • linkedin
  • youtube
Contact   Newsletter
WITTENSTEIN high integrity systems

safe rtos title image

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. You can contact us via the “Ask us a question” button on the right.

To access free demos, datasheets and evaluations of SAFERTOS click here.

 

ManufacturerDeviceFamily
AlteraNios IINios II
Cyclone V SoCARM Cortex-A9
AtmelAVR32AVR32
AT91SAM3ARM Cortex-M3
AT91SAM4ARM Cortex-M4
AT91SAM7ARM7
AT91SAM9ARM9
InfineonXMC4000 familyARM Cortex-M4F
AURIX TC2xTriCore 1.6
AURIX TC3xTriCore 1.62
AURIXTricore
MicrochipPIC32MZ, MZ EFMPS M14K
PIC32MXMIPS M4K
dsPIC33dsPIC DSC
Microsemi (Formerly Actel)SmartFusion2ARM Cortex-M3
SmartFusionA2FARM Cortex-M3
Nordic SemiconductornRF52xxARM Cortex-M4 CPU
NXP (Formerly Freescale)MPC55x, 56x, 57xPower Architecture e2000z2, e200z4, e200z7
S32VARM Cortex A53/M4
S32K11xARM Cortex M0+
S32K14xARM Cortex M4F
LPC4000ARM Cortex-M4
LPC1100ARM Cortex-M0+/MO
LPC1200ARM Cortex-M0
LPC1300ARM Cortex-M3
LPC1500ARM Cortex-M3
LPC1700ARM Cortex-M3
LPC1800ARM Cortex-M3
Kinetis K seriesARM Cortex-M4
Kinetis L seriesARM Cortex-M0+
i.MX RT seriesARM Cortex-M7
i.MX6x seriesARM Cortex-A9, ARM Cortex-A7
i.MX2xARM9
QorlQ PlatformsPower Architecture
RenesasRH850/C1x, /D1x, /E1x, /F1x, /P1x, /V1xG3, G3M, G3MH
RX600RXv1, v2
RX200RXv1, v2
RZ seriesARM Cortex-A9
Silicon LabsGiant Gecko, EFM32 familyARM Cortex-M3, M4, M0+
ST MicroelectronicsSTM32F3, STM32F4, STM32L4ARM Cortex-M4
STM32F2, STM32F1, STM32L1, STM32WARM Cortex-M3
STM32F0ARM Cortex-M0
STM32F7, H7ARM Cortex-M7
SPC5 seriese200z0, e200z4d
SynopsysARC EM7DARC EM
Texas InstrumentsStellaris LM3ARM Cortex-M3
Tiva TM4CxARM Cortex-M4
Hercules RM4x, TMS570ARM Cortex-R4F
Hercules TMS470ARM Cortex-R4F
Hercules TMS570ARM Cortex-R5F
TMS320 DelfinoC28x
ConcertoARM Cortex-M3
XilinxMicroblazeMicroblaze
Zynq-7000ARM Cortex-A9
UltraScale MPSoCARM Cortex-R5, A53, Microblaze

 

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.