SAFERTOS®
SAFERTOS®, The safety critical RTOS from WITTENSTEIN high integrity systems
WITTENSTEIN high integrity systems is an RTOS company that specializes in safety, producing and supplying real-time operating systems and software components to the medical, automotive, aerospace and industrial sectors.
SAFERTOS® is a pre-emptive, pre-certified real time operating system that delivers unprecedented levels of determinism and robustness to embedded systems.
Migrate from FreeRTOS
There is a clear and popular migration path from FreeRTOS to SAFERTOS. We provide a free manual detailing how to upgrade from the FreeRTOS kernel to SAFERTOS in straightforward steps.
Get it for free from the WHIS download centre https://www.highintegritysystems.com/down-loads/manuals-datasheets/safertos-datasheet-downloads/
SAFERTOS is based on the functional model of FreeRTOS, however 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-3 SIL 3 development life cycle, the highest possible for a software only component, creating the SAFERTOS code base and Design Assurance Pack.
As FreeRTOS 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.
Safety Built In
With an imperceptible boot time, SAFERTOS is the ideal choice for systems that need to respond quickly to safety events, when the system must be placed into a safe state in the shortest possible time.
The task isolation and separation feature of SAFERTOS, using the processor's MPU or MMU, or both, enables developers to co-locate safety critical code with non-safety critical code. Used effectively this can greatly reduce the amount of safety critical code required within an industrial device, resulting in lower development and maintenance costs.
SAFERTOS can be provided with integrated middleware and safety components, board support packages, and full support and training is available. Demonstrations and datasheets are free to download from the WITTENSTEIN high integrity systems’ website.
This product is supplied by a third party not affiliated to ST.
For complete and latest information on the specification and the purchased parts package, refer to the third party’s website https://www.highintegritysystems.com
Key Features
- Intrinsic self-verification routines
- MPU support
- 100% MC/DC coverage
- MISRA C compliant
- Migration path from FreeRTOS™
- Full source code and design assurance pack
- Certifications
- Pre-certified to IEC 61508 SIL 3 for Industrial
- Pre-certified to ISO 26262 ASILD for Automotive
- Certifiable to FDA 510(k) / EN 62304 for Medical
- Supports DO178C for Aerospace
License Type | Commercial with free trial version |
Deliverable | Source |
Supported MCUs | STM32 |
Supported Devices | STM32 |
Site |
ST Products |
---|