PikeOS
Güvenlik açısından kritik yazılımla sıradan yazılımın bir işlemciyi birbirine karışmadan paylaşabilmesi için tek çekirdekte birleştirilmiş gerçek zamanlı işletim sistemi ve hipervizör.
PikeOS, 2012’de Thales tarafından satın alınan Alman şirketi SYSGO’dan gelir. Çekirdek, L4 mikroçekirdek geleneğinde bir ayrım çekirdeğidir (separation kernel): kendisi çok az şey yapar ama bölümleri hem bellekte hem zamanda yalıtır. Her bölüm kendi “kişiliğini” çalıştırır — ARINC 653 API’si, POSIX, bir Linux konuğu ya da başka bir RTOS.
Mesele sertifikasyondur. Bütün bir Linux kurulumunun hatasız olduğunu kanıtlamak imkânsızdır; yan bölüme dokunamayacağını kanıtlamak ise mümkündür. PikeOS, havacılık için DO-178C, demiryolu için EN 50128 ve otomotiv için ISO 26262 dahil sertifikalara sahiptir; aviyonikte, trenlerde ve savunma sistemlerinde çalışır.