DornerWorks to develop space-qualified hypervisor for DARPA

GRAND RAPIDS, MI. The Defense Advanced Research Project Agency (DARPA) has awarded a Small Business Innovation Research (SBIR) Phase 1 contract to DornerWorks to study hypervisors capable of supporting virtualization in satellite payloads. DornerWorks will work off of the open-source ARLX Hypervisor project, a flight-certifiable ARINC 653 partitioning environment that is based off of the Xen hypervisor and runs real-time Linux in each domain.

The project is the first attempt to adapt an open-source hypervisor for the standard. ARLX will add ARINC 653 support to paravirtualized domain 0 and the hypervisor, which improves PC emulation of the target environment and allows developers to develop and debug on a PC platform before executing on target hardware.

The hypervisor will simultaneously integrate Multiple Independent Levels of Security (), level A, and model-based checking. A “diff-impact” tool will also provide tracking and traceability for certification and assurance artifacts.

More information on the DornerWorks ARLX Hypervisor can be found at http://dornerworks.com/portfolio/bsp/.