PikeOS
Операционная система реального времени и гипервизор в одном ядре, созданная, чтобы ПО для критичных к безопасности задач и обычное ПО могли делить процессор, не мешая друг другу.
PikeOS создала немецкая компания SYSGO, которую в 2012 году купила Thales. Ядро — separation kernel в традиции микроядер L4: само оно почти ничего не делает, зато изолирует разделы и по памяти, и по времени. Каждый раздел запускает собственную «персонализацию» — API ARINC 653, POSIX, гостевой Linux или другую RTOS.
Суть в сертификации. Доказать, что целая установка Linux не содержит ошибок, невозможно; доказать, что она не может задеть соседний раздел, вполне реально. PikeOS имеет сертификаты, включая DO-178C для авиации, EN 50128 для железных дорог и ISO 26262 для автомобилей, и работает в авионике, поездах и оборонных системах.