Grand Rapids
United States

Embedded ARINC 653 Hypervisor for High Assurance of Safety and Security

IT, Cyber-Security, Software


Our hypervisor provides embedded virtualization with high levels of safety and security. Based on the open source Xen hypervisor, it implements the ARINC 653 partitioning standard for safety and the NIAP Common Criteria SKPP for security. We also provide associated tools, applications, certification artifacts, maintenance, and support services.