Experts in embedded RTOS, with a specialisation in safety certified software
SAFERTOS is based on the functional model of the FreeRTOS kernel, a market leading embedded RTOS with over 100,000 downloads per year.
However, SAFERTOS is not the FreeRTOS kernel. It has been completely redesigned by our team of safety experts. Our engineers took the FreeRTOS kernel 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-3 SIL 3 development life cycle, the highest possible for a software only component, creating the SAFERTOS code base and DAP.
As the FreeRTOS kernel and SAFERTOS share the same functional model upgrading is easy. Many of our customers prototype using the FreeRTOS kernel, and convert to SAFERTOS at the start of their formal development phase.
Included in our free downloads is a manual detailing how to upgrade from the FreeRTOS kernel to SAFERTOS in easy steps. Click here to download.
The FreeRTOS kernel has been designed for maximum performance and minimum resource use, but lacks many of the features and checks identified during the HAZOP vital for safety critical applications.
Developing a safety critical RTOS is about more than just applying process to an existing code base. Risk management is required across the complete development life cycle to identify a full set of safety requirements. These safety requirements will have a major impact on the implementation of the RTOS, contribute significantly to the all-important safety manual and result in a trusted product containing the key features essential for safety critical use.
SAFERTOS is available pre-certified to IEC 61508-SIL 3, and supplied with a full Design Assurance Pack giving complete transparency over the full Design Life Cycle- saving you time and money whilst reducing your time to market.