Low-Cost, High Assurance Separation Kernel

Award Information
Agency: Department of Defense
Branch: Army
Contract: W15P7T-11-C-H209
Agency Tracking Number: A102-102-0382
Amount: $61,244.00
Phase: Phase I
Program: SBIR
Awards Year: 2010
Solicitation Year: 2010
Solicitation Topic Code: A10-102
Solicitation Number: 2010.2
Small Business Information
421 SW Sixth, Suite 300, Portland, OR, 97204
DUNS: 098009918
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Dylan McNamee
 Principal Investigator
 (503) 808-7187
 dylan@galois.com
Business Contact
 Anne McClaran
Title: Contracts Administrator
Phone: (503) 808-7203
Email: anne@galois.com
Research Institution
N/A
Abstract
Previous separation kernels have been based on safety-critical, real-time embedded operating systems meeting the FAA's DO-178B certification criteria. We believe that these systems' heritage emphasizes trustworthiness over cost, and results in a solution better suited for embedded environments. We propose to build a separation kernel middleware layer on top of a COTS or open source capability-based microkernel. We will include low cost in the criteria for systems to evaluate. To meet the high assurance requirement we will develop or re-use formal methods artifacts for the microkernel, and extend them with formal methods artifacts for the middleware.

* 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