You are here

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
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Solicitation Year: 2015
Award Year: 2015
Award Start Date (Proposal Award Date): 2015-06-30
Award End Date (Contract End Date): 2016-07-15
Small Business Information
3445 Lake Eastbrook SE
Grand Rapids, MI 49546
United States
DUNS: 079456476
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
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. *

US Flag An Official Website of the United States Government