SAFERTOS is a safety critical Real Time Operating System available pre-certified to IEC 61508 SIL3. It now supports integration with the new software test library from STMicroelectronics. The STL, ...