An seL4-Enabled Safe & Secure Soldier Helmet Display

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

US Flag An Official Website of the United States Government