PikeOS
Un sistema operativo de tiempo real y un hipervisor en el mismo núcleo, pensado para que software crítico y software corriente compartan procesador sin estorbarse.
PikeOS procede de la alemana SYSGO, adquirida por Thales en 2012. El núcleo es un núcleo de separación en la tradición de los micronúcleos L4: hace muy poco por sí mismo, pero aísla particiones tanto en memoria como en tiempo. En cada partición se ejecuta su propia «personalidad»: una API ARINC 653, POSIX, un invitado Linux u otro RTOS.
La clave es la certificación. Demostrar que una instalación completa de Linux no tiene errores es imposible; demostrar que no puede tocar la partición de al lado es abordable. PikeOS cuenta con certificaciones como DO-178C para aviación, EN 50128 para ferrocarril e ISO 26262 para automoción, y funciona en aviónica, trenes y sistemas de defensa.