An seL4-Enabled Safe & Secure Soldier Helmet Display

Period of Performance: 01/01/2015 - 12/31/2015


Phase 1 SBIR

Recipient Firm

DornerWorks, Ltd.
3445 Lake Eastbrook SE Array
Grand Rapids, MI 49546
Principal Investigator


We will develop software components layered on the seL4 microkernel, enabling mixed levels of safety-criticality and security. Our target market includes commercial and military aerospace, defense, and medical embedded applications requiring some measure of safety/reliability and information assurance. Phase I will produce not only a feasibility study, but also demonstrate a prototype multi-level secure component layered on seL4 running on a development board, and safety (DO-178C) and security (NIAP CC and UCDSMO) planning documents. Phase II will demonstrate multiple embedded ecosystem components such as device drivers, system startup and configuration, secure DMA via SMMU, multi-level secure wireless links, health monitoring, and/or other embedded features, utilizing the seL4 microkernel running on a Rockwell Collins Helmet Mounted Display for display and transmitting of classified and non-classified data. We will partially implement POSIX APIs. Along with source code, we will deliver safety artifacts supporting flight certification and security artifacts supporting cross-domain security services built on seL4. Our unique approach adapts previous work on the Xen hypervisor, utilizes seL4 in a high assurance application, and demonstrates efficacy on fielded military equipment.