Creating a safer, greener, more secure future.

Log In
Contact
Newsletter

SAFERTOS®: Pre-Certified Safety Critical RTOS

SAFERTOS® is a pre-certified safety Real Time Operating System (RTOS) for embedded processors. It delivers superior performance and pre-certified dependability, whilst utilizing minimal resources.

View our supported platforms or contacts us for a quote on bespoke projects.

Get a quote today

The Road To Safety

This video answers all your frequently asked questions about WHIS, the RTOS and the steps to delivering a safety critical system.

Watch it today

Ask Us a Question

For pricing, licensing, or any other sales or product related questions, please contact us.

Contact Us
Ask us a question

The SAFERTOS® Story

Since 2007 the primary focus has been the development and supply of mission and safety critical RTOS and middleware components. WHIS engineers took the FreeRTOS functional model, exposed it to a full HAZOP, identified all areas of weakness within the functional model and API, mitigated all areas of weakness, and took the resulting requirements set through an IEC 61508 SIL 3 development life cycle, the highest possible for a software only component.

In doing so we created SAFERTOS®: the renowned safety certified RTOS that delivers superior performance and safety critical dependability whilst consuming minimal resources. The success of these endeavours can be judged by the fact SAFERTOS® was independently certified on the first iteration by TÜV SÜD back in 2007.

SAFERTOS® has continuously evolved since its initial creation and the list of supported processors and toolsets is constantly expanding. SAFERTOS® includes, among other features:

  • Task Isolation and Separation;
  • Ultra-Low Power Mode;
  • OSEK API Wrapper;
  • A range of Safety Plugins.
View all features

Start Your Development for Free

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.

More Information
Start Your Development for Free

Design Assurance

SAFERTOS® is tailored to your specific processor/compiler combination, and delivered with full source code and our Design Assurance Pack (DAP) . The DAP gives you complete transparency over the full Design Life Cycle, and illustrates the exceptional high quality of our RTOS product. The DAP ensures:

  • No retesting on target hardware is required
  • Easy installation and integration into your development environment
  • Reduced development costs and improved time to market
  • Smooth path to certifying SAFERTOS® within an application
More DAP information

A Safety Systems Company

As WITTENSTEIN high integrity systems are first and foremost a Safety Systems Company, we can offer that all important extra service:

  • Safety Critical design review services
  • Consultancy on the safety certification process
  • SAFERTOS® training including safety related requirements
  • Full BSP solutions
View support services

Easier Certification

Using our extensive Safety Critical design experience we have made certifying SAFERTOS® integrated within a product an easy and hassle-free process.

Contained within the DAP is the all-important Safety Manual. The Safety Manual explains exactly how to install and integrate SAFERTOS® into your development environment. Following the concise instructions will also generate the evidence required by your auditors to confirm the process has been followed correctly. This removes the need to re-test SAFERTOS® on your target hardware, and provides a solid dependable platform for your development.

View all standards

Reducing Risks

In many safety critical applications the real time operating system (RTOS) is the most critical component. The RTOS not only schedules the functionality of the software, it also schedules the operation of Safety Monitors and Safety Functions. A failure in the RTOS will most likely compromise the Safety Case of the complete system.

SAFERTOS® has been designed specifically for the safety sector, and deterministic priority based scheduling is the primary Safety Requirement. Every effort has been made to ensure deterministic behaviour is maintained. To ensure this SAFERTOS® has been independently certified many times on numerous platforms, to IEC61508-3 SIL3, the highest possible SIL level for a software only component.

Licence Information

Free Demos & Manuals

Download fully functional, time-limited SAFERTOS® demos, plus manuals, datasheets, and more.

Download Centre

Customer Satisfaction

SAFERTOS® is an important foundational element to Rivian’s advanced software stack and commitment to designing for safety. The RTOS documentation and expert support has been fantastic.

– Andrew Jones, Rivian

Ask Us a Question

For pricing, licensing, or any other sales or product related questions, please contact us.

Contact Us
Ask us a question