Auf dem Stand von Sysgo (Halle/Stand: 11/212) ist das Echtzeitbetriebssystem »PikeOS« zu sehen, das eine Virtualisierungsplattform auf Basis eines schnellen und sicheren Mikrokernels bietet. Dadurch können unter Einhaltung strikter Anforderungen an die Betriebsicherheit sowie an das Zeitverhalten auf einer Hardware verschiedener Betriebssysteme und Anwendungen laufen. Für den industriellen Einsatz eignet sich die Embedded-Linux-Entwicklungsumgebung »ELinOS«.