Wittenstein High Integrity Systems gaat bij zijn SafeRTos al het bewijs en de life-cycle-gegevens meeleveren die nodig zijn voor de verplichte validatie van medische apparatuur. Het Design Assurance Pack voldoet zowel aan de Europese IEC EN62304- als de Amerikaanse FDA510(k) Class III-richtlijnen. De relevante versie van het RTos is beschikbaar voor Arm7- en Arm Cortex M3-gebaseerde microcontrollers.
SafeRTos is een deterministisch besturingssysteem dat met certificering in het achterhoofd is ontworpen. Het past doorgaans in minder dan 5 kb Rom en gebruikt nog geen 500 bytes Ram-geheugen per taak. Het Ram-geheugen wordt statisch gealloceerd om geheugenfragmentatie te voorkomen. Bovendien controleert het inputparameters en stack overflows en zijn er ankers om veiligheidsfuncties toe te wijzen aan het optreden van specifieke fouten. De software draait onder meer op Arm, AVR32, Pic32 en PowerPC.