An seL4-Enabled Safe & Secure Soldier Helmet Display

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D15PC00163
Agency Tracking Number: D151-003-0009
Amount: $147,788.07
Phase: Phase I
Program: SBIR
Awards Year: 2015
Solicitation Year: 2015
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Small Business Information
3445 Lake Eastbrook SE, Grand Rapids, MI, 49546
DUNS: 079456476
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Steven VanderLeest
 Chief Operating Officer
 (616) 929-0399
Business Contact
 Mr. David Dorner
Title: program manager
Phone: (616) 245-8369
Research Institution
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.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government