Experts in embedded RTOS, with a specialisation in safety certified software
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.
Common Industrial Applications Using SAFERTOS
SAFERTOS is available pre-certified to IEC 61508-3 SIL 3 by TÜV SÜD. SIL 3 is the highest possible safety rating a software only component can achieve.
IEC 61508 is the international standard for electrical, electronic and programmable electronic safety related systems. It sets out the requirements for ensuring that systems are designed, implemented, operated and maintained to provide the required safety integrity level (SIL). Four SILs are defined according to the risks involved in the system application, with SIL4 being used to protect against the highest risks. The standard specifies a process that can be followed by all links in the supply chain so that information about the system can be communicated using common terminology and system parameters.
The standard is in eight parts:
Other standards are being produced for the application of the 61508 approach to particular sectors.Sector specific standards related to IEC 61508 include:
We are proud to be members of The 61508 Association.
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.
The Task Isolation and Separation feature of SAFERTOS enables medical device developers to co-locate safety critical code with non-safety critical code.
For example, this means that 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.
SAFERTOS enables dual and multicore/processor designers to create seamless, mixed safety criticality designs quickly and efficiently. Due to its small size and its safety critical credentials, SAFERTOS is ideally suited for use on the primary core. This allows the system to boot and configure itself securely before enabling other cores that could run non-critical applications such as Linux to implement web servers and WiFi connections.
In a multicore environment, SAFERTOS is typically used on cores implementing safety critical functionality, or on cores providing monitoring/verification of the primary function. Due to its high safety classification, SAFERTOS can safely be used on both primary and monitoring cores, removing the need to use differential software.
Lloyds Register LRQA UK