SAFERTOS® is a unique real-time, deterministic operating system specially designed by WITTENSTEIN for critical applications. It is available pre-certified according to key standards in markets including Industrial and Medical. First certified by TÜV SÜD in 2007, SAFERTOS® was developed in compliance with IEC61508 SIL3, and it continues to set the pace as the first pre-certified real-time operating system available in the ROM of a micro-controller. The Texas Instruments LM3S9B96 is now supplied with SAFERTOS® embedded in ROM at no additional cost, saving tens of thousands of dollars and offering a low risk path to certification.

Benefits of Certified Software

Using off-the-shelf operating systems can bring significant benefits to engineering teams including faster development, increased portability, reduced defects and a higher re-use of software. They also provide a common framework for engineers to collaborate and make it easier to modify and maintain applications which must adapt as requirements change and products evolve. Using SAFERTOS® in critical applications brings significant additional benefits. Using SAFERTOS® ensures that the application developer introduces trusted software, which is independently validated by a globally recognised certification authority.

Design Assurance and  Certification

The “Design Assurance Pack“, which is supplied with all software versions of SAFERTOS®, contains all the certification evidence and life-cycle information generated during development and used for certification. This not only ensures complete transparency about its development and certification, but also provides a clear model of how to integrate our approach with existing application development processes.

IEC61508 SIL3

SAFERTOS® is used in a broad range of industrial applications ranging from power generation to industrial monitoring and detection equipment. The TÜV SÜD certified, SIL3 compliant operating system and Design Assurance Pack lowers risk and provides a solid, trusted platform for critical applications.

FDA510(k) Class III and EN62304

Full life cycle evidence, including the Design History File, is available with SAFERTOS® and is independently validated for compliance with FDA510(k) Class III medical device standards and EN62304. Used in professional and commercial medical applications, such as diabetes pumps, infusion systems and hypertension monitoring systems, SAFERTOS® is a comprehensive solution which is specially developed to ease the path to certification.

Find our more about support and sales on our UK website: www.highintegritysystems.com/rtos/safertos/

SAFERTOS^TM is small, high quality, robust and provides some unique capabilities, including our ‘Design Assurance Pack’ which provides all the evidence and test code required to ‘drop-in’ to your development process and become part of your certification plan

There are many reasons for using SAFERTOS^TM in addition to attaining certification. For today’s emerging class of low-cost, powerful 32-bit devices, software developers need a kernel which is robust and has a performance and feature set appropriate for the problem being addressed. SAFERTOS^TM is small, economical, highly efficient and does not provide a large set of features which are inappropriate for this class of processor. In addition to the software customers receive

Certification

• Compiler independent certification capability (click here to read a related article)
• Design Assurance Pack which forms the basis of the certification process

Technical Highlights

• Typically requires less than 5kB ROM and fewer than 500 bytes per task RAM
• All RAM is statically allocated to avoid memory fragmentation & improve determinism
• Full input parameter checking
• Stack overflow checking (at point of context switch)
• Mirrored pointer variables
• Error hooks for application specific safety functionality