PikeOS
Un sistema operativo real-time e hypervisor in un unico kernel, progettato perché software critico per la sicurezza e software ordinario possano condividere un processore senza interferire.
PikeOS nasce dall'azienda tedesca SYSGO, acquisita da Thales nel 2012. Il kernel è un separation kernel nella tradizione dei microkernel L4: fa pochissimo da sé, ma isola le partizioni sia nella memoria sia nel tempo. Ogni partizione esegue una propria "personalità" — un'API ARINC 653, POSIX, un guest Linux o un altro RTOS.
Il punto è la certificazione. Dimostrare che un'intera installazione di Linux è priva di bug è impossibile; dimostrare che non può toccare la partizione accanto è fattibile. PikeOS vanta certificazioni tra cui DO-178C per l'aviazione, EN 50128 per le ferrovie e ISO 26262 per l'automotive, e viene impiegato in avionica, treni e sistemi di difesa.