An seL4-Enabled Safe & Secure Soldier Helmet Display

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.