Sysgos hypervisor Pike OS har certifierats för användning i ett personsäkerhetskritiskt järnvägssystem på en flerkärnig processor. Testföretaget TÜV-SÜD stämplar systemet som en EN 50128-produkt på den högsta nivån, SIL 4.
Men SIL 4-stämpeln bevisar nu att det är möjligt att nyttja multikärnor fullt ut, i alla fall om man tar hjälp av en hypervisor – ett program som tar kontrollen över processorn och under sig kör en eller flera operativsystem och program under strikt övervakning.
Hypervisorn har på något vis utnyttjats för att göra systemets beteende deterministiskt – i exakt detalj förutsägbart – vilket är vad klassificeringen kräver. Hur PikeOS åstadkommer den effekten är dock en hemlighet – ”tekniken som tillåter denna höga grad av certifiering kan inte avslöjas i nuläget” skriver Sysgo i ett pressmeddelande.
Systemet som certifierats är inom järnvägsindustrin och kommer att sättas i drift under 2014. Det kör standardversionen av PikeOS 3.4 på Kontrons Intel i7-kort VX3035.
Företaget beskriver certifieringen som en milsten och en ovärderlig erfarenhet att ta med till andra utvecklingsprojekt som det driver inom bland annat luftfart och fordon.
PikeOS är ett kombinerat realtidsoperativsystem och hypervisor som kan köra bland annat Arinc 653, Linux, Android, RTEMS, Autosar och Itron som gästoperativsystem under sig.