Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D16PC00107
Agency Tracking Number: D2-1538
Amount: $1,499,845.00
Phase: Phase II
Program: SBIR
Awards Year: 2016
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
 (616) 929-0399
 Steve.VanderLeest@dornerworks.com
Business Contact
 Mr. David Dorner
Phone: (616) 245-8369
Email: David.Dorner@dornerworks.com
Research Institution
N/A
Abstract
We are leveraging theassurance of the seL4microkernel, enabling mixed levels of safety-criticality and security via a methodology, design process, ecosystem components, and tools. Our target market includes commercial and military aerospace, defense, energy, and medical embedded applications which require safety/reliability and information assurance. Phase I produced not only a feasibility study, but also demonstrated a prototype multi-level secure component layered onseL4, leveraging the guaranteed isolation of the microkernel to reduce the certification effort. Phase II will develop our lessons learned into a structured, componentized assurance methodology for leveraging the seL4 formal methods proof of correctness, demonstrating multiple embedded ecosystem components (such as device drivers, system startup and configuration, separation of security domains via partitioning, and multi-level secure communication links), by utilizing theseL4microkernel running on a Rockwell Collins Helmet Mounted Display for display of classified and non-classified data. Along with source code, we will deliver a Safety & Security Plan and sample certification artifacts supporting cross-domain security services built onseL4. Our unique approach takes advantage of seL4 isolation guarantees 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