SAFERTOS provides Industrial developers with a responsive, deterministic embedded Real Time Operating System (RTOS) with a Design Assurance Pack that provides an easy route to achieving certification of SAFERTOS once integrated into an Industrial Safety Product.
SAFERTOS and its Design Assurance Pack (DAP) are pre-certified by TÜV SÜD to IEC 61508 Safety Integrity Level 3 (SIL3), the highest level possible for a software only component.
Imperceptible boot time
With an imperceptible boot time, SAFERTOS is an ideal choice in systems that need to protect users and equipment from hazards quickly after a power on or brown out event.
The imperceptible boot time also means SAFERTOS is ideally suited for use on the booting core of a multi-core/multi processor safety system. SAFERTOS can quickly and effectively bring the system up, configure the safety partitions and execute critical safety functionality before enabling other cores/processors, which may require longer to boot.
SAFERTOS provides deterministic event handling, frequently used in motor control applications requiring precision control. It is the ideal choice for systems that need to respond quickly to safety events, where the system must be placed into a safe state.
Mixed Safety Critical Designs
The Task Isolation and Separation feature of SAFERTOS using the processor’s MPU/MMU 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.
Design Assurance Pack (DAP)
The SAFERTOS Design Assurance Pack contains the planning, design, and verification evidence which supports the certification of SAFERTOS. It is specific to the selected processor/compiler combination, which removes the need for expensive and prolonged retesting on the target hardware.
Certification of SAFERTOS integrated into an Industrial product is straightforward. WHIS supplies an easy to follow Safety Manual that clearly details how to install and integrate SAFERTOS into a safety critical development environment. Following the concise instructions preserves the verification and validation already performed by the WHIS Safety engineers.
- Deterministic, Responsive Embedded RTOS
- Contains all Planning, Design and Verification artefacts
- Specific to the selected Processor/Compiler combination
- Demonstrates the exceptional high quality of SAFERTOS