Military Embedded Systems

DornerWorks to develop space-qualified hypervisor for DARPA


June 28, 2013

Brandon Lewis

Technology Editor

Embedded Computing Design

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 ARLX Hypervisor project is the first attempt to adapt an open-source hypervisor for the ARINC 653 standard. ARLX will add ARINC 653 support to paravirtualized domain 0 Linux and the Xen 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 (MILS), DO-178B level A, and multicore 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



Featured Companies


3445 Lake Eastbrook Boulevard SE
Grand Rapids, Minnesota 49546
Cyber - Cybersecurity
Topic Tags