Realize the Benefits of a Safe and Secure ARINC 653 Hypervisor

A Safe and Secure ARINC 653 Hypervisor

DornerWorks is developing extensions to the open source Xen hypervisor that will meet DO-178C Level A requirements for safety and high robustness requirements based on Common Criteria Evaluation Assurance Level (EAL) 6+ for security. Our extensions provide compliance with the ARINC 653 standard, including time and space partitioning and refine the idea of I/O partitioning. Our partitioning of I/O provides deterministic bandwidth allocation to guest domains.

To meet security requirements we apply modern formal analysis techniques to our design.

A distinctive aspect of our hypervisor is our use of permissive licensing based on open source with meticulous configuration management. We believe that the transparency and availability offered by a permissive license and an open architecture coupled with rigorous certification artifacts for both safety and security establishes a compelling alternative for partitioning of software in safety and security-critical systems.

Topics covered in this paper:

  • Overview of hypervisors
  • Hypervisor benefits
  • Benefits of the ARLX hypervisor
  • Technical architecture of ARLX
  • And more…

Learn about the safety and security potential of an ARINC 653 hypervisor



Steve VanderLeestSteve VanderLeest
Steve is DornerWorks former COO, a multi-talented technical expert and entrepreneur with proven expertise in engineering design and processes. Steve has experience in both industry and academia, having been a professor of engineering at Calvin College for many years. He has published dozens of papers on a variety of technology-related topics.
David Greve
Rockwell Collins
Paul Skentzos
Genesys Ideation®


Other Related Content

DornerWorks Xen Zynq Distribution and Separation TechnologyIoT Project Pitfalls
7 Mistakes Project Managers Make With IoT Providers
Xilinx SDSoCXilinx SDSoC
An All In One Solution, Without The Headache
Customized Solutions with a SOMCustomized Solutions
5 Reasons Why Your Product Needs A SOM