PikeOS
Een realtime besturingssysteem en hypervisor in één kernel, gebouwd zodat veiligheidskritieke en gewone software een processor kunnen delen zonder elkaar te storen.
PikeOS komt van het Duitse SYSGO, in 2012 overgenomen door Thales. De kernel is een separation kernel in de traditie van de L4-microkernels: hij doet zelf heel weinig, maar isoleert partities in geheugen én tijd. Elke partitie draait haar eigen “personality” — een ARINC 653-API, POSIX, een Linux-gast of een ander RTOS.
Het draait om certificering. Bewijzen dat een complete Linux-installatie foutloos is, kan niet; bewijzen dat die de buurpartitie niet kan raken, is haalbaar. PikeOS heeft certificeringen als DO-178C voor luchtvaart, EN 50128 voor spoor en ISO 26262 voor auto's, en draait in avionica, treinen en defensiesystemen.