OTSL is distributing SYSGO’s PikeOS that is both an RTOS (Real-Time Operating System) and a hypervisor built upon the Safe and Secure Virtualization (SSV) technology that enables multiple operating system interfaces, called Guest OS, to work safely and securely on separate sets of resources within a single machine.
PikeOS is certifiable to safety standards like DO-178B/C, IEC 61508, EN 50128, IEC 62304 or ISO 26262, is MILS compliant, and is currently involved in various security standard Common Criteria EAL certification projects. Recently PikeOS achieved the first EN 50128 SIL 4 certification of the market on a multi-core system.
This ATPS for automotive is developed in conformity to “Time Partitioning under Virtualization Environment” standard that is newly promoted by OTSL. PikeOS is the first commercial Virtualization Environment Platform for this new technology.
More information at www.sysgo.com/pikeos