PikeOS
System operacyjny czasu rzeczywistego i hipernadzorca w jednym jądrze, zbudowany tak, by oprogramowanie krytyczne dla bezpieczeństwa i zwykłe mogły dzielić procesor bez wzajemnych zakłóceń.
PikeOS pochodzi z niemieckiej firmy SYSGO, przejętej przez Thales w 2012 roku. Jądro jest jądrem separacyjnym w tradycji mikrojąder L4: samo robi bardzo niewiele, ale izoluje partycje zarówno w pamięci, jak i w czasie. Każda partycja uruchamia własną „osobowość” — interfejs ARINC 653, POSIX, gościa z Linuksem lub inny RTOS.
Sedno to certyfikacja. Udowodnienie, że cała instalacja Linuksa jest wolna od błędów, jest niemożliwe; udowodnienie, że nie może dotknąć sąsiedniej partycji, jest wykonalne. PikeOS ma certyfikaty, w tym DO-178C dla lotnictwa, EN 50128 dla kolei i ISO 26262 dla motoryzacji, i działa w awionice, pociągach oraz systemach obronnych.