The "Flexible Safety RTOS" is a pre-certified real time kernel with unique properties. It is possible to execute multiple software components with different safety capability on a single core. Even non-safety libraries may be used:
(1) The real time kernel uses a process model, which needs no change in the source code of separated software components.
(2) Furthermore, the development process is designed for cost effective and fast certifications of project specific changes. This change may be: a changed compiler, an extension in the RTOS feature set or support of real multi-processing.
The certification is available for different markets:
+ for industrial use (IEC 61508)
+ for automotive market (ISO 26262)
+ for medical (IEC 62304)