3445 Lake Eastbrook Blvd SE
Grand Rapids, Michigan

Booth: 827

Oral presenter


Embedded ARINC 653 Hypervisor for High Assurance of Safety and Security

Technology Area: IT, Cyber-Security, Software

Commercial Maturity: Prototype

Abstract: 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.