The Safe & Secure Virtualization technology PikeOS is an innovative OS providing an embedded systems platform where multiple virtual machines can run simultaneously in a secure environment. It achieved the first SIL 4 certification on multi-core.
Partitioning according to ARINC 653
Micro-kernel based para-virtualization
Reduction of software complexity
Cost-efficient software integration and protection of intellectual property