ARM’s highest performing processor, extending the capabilities of mobile and enterprise computing. Read More...
SAFERTOS® is a safety certified real time kernel for embedded microcontrollers. It delivers superior performance and pre-certified dependability, whilst utilising minimal resources.
SAFERTOS is available pre-certified by TÜV SÜD to IEC 61508-3 Safety Integrity Level (SIL) 3. SAFERTOS has also been validated for compliance with IEC 62304 class C and FDA510(k).
Complete life cycle certification evidence for SAFERTOS is provided in a Design Assurance Pack™. The DAP ensures complete transparency about the development of SAFERTOS and contains all the information required to independently complete your own product certification.
SAFERTOS is based on the functional model of FreeRTOS, one of the most widely used embedded kernels available.
However, SAFERTOS is not FreeRTOS. It has been completely redesigned by our team of safety experts. Our engineers took the FreeRTOS functional model, subjected it to a full HAZOP, identified all areas of weakness within the functional model and API, and generated a set of safety requirements. The resulting functional and safety requirements sets were put through an IEC 61508 SIL-3 development life cycle, the highest possible for a software only component. SAFERTOS was initially independently certified at the first attempt by TÜV SÜD back in 2007.
Full featured SAFERTOS binary demos are available for download from our website http://www.HighIntegritySystems.com. A 30-day SAFERTOS source code evaluation licence can be obtained on request.