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.
By specifically supporting the needs of industrial device developers, SAFERTOS can greatly reduce program risks, lower development costs and shorten the time to market for industrial device products.
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
Mixed Safety Integrity Levels (SILs)
The Task Isolation and Separation feature of SAFERTOS provides the tools for developers to co-locate safety critical code with non-safety critical code.
For example, this means that with care a critical Infusion Pump control algorithm and graphical interface code can be within the same linear memory space.
SAFERTOS achieves this by using either the Memory Management Unit (MMU) or the Memory Protection Unit (MPU). Used effectively this can greatly reduce the amount of safety critical code required within a medical device.