The ARLX hypervisor is an ARINC 653 compliant extension to the open-source Xen hypervisor and is developed, by DornerWorks, according to the strict safety assurance directed by DO-178.
Current ARINC 653 operating system choices are proprietary and costly, leading to a slower pace of innovation and high development costs. DornerWorks developed the ARINC 653 Real-time Linux on Xen (ARLX) hypervisor – a flight-certifiable ARINC 653 partitioning environment based on the Xen Hypervisor in response to this barrier to entry. ARLX is a suite of tools, including a hypervisor, which gives the embedded engineer the flexibility of open source licensing combined with high levels of safety and security.
The ARLX hypervisor is a type-1 (bare-metal) virtual machine monitor built with safety and security in mind. When size, weight, and power (SWaP) are issues in designs, the ARLX hypervisor provides a unique path of meeting these goals by giving the embedded engineer the freedom of open source licensing and the ability to use open source or commercial guest operating systems. The ARLX hypervisor is an ARINC 653 compliant extension to the open-source Xen hypervisor and is developed according to the strict safety assurance directed by DO-178. To ensure safety, a mathematical technique called “formal methods” is applied to reach a Common Criteria rating of EAL6+ under the Separation Kernel Protection Profile (SKPP).
ARLX is currently the only hypervisor product, commercial or open source, on the market that has both security and safety in one product. In the subscriptions offered by Genesys Ideation, a wholly owned subsidiary of DornerWorks, there is a number of tool options such as:
ARLX provides added benefit in the following ways: