Low-Cost, High Assurance Separation Kernel

Award Information
Agency:
Department of Defense
Branch
Army
Amount:
$61,244.00
Award Year:
2010
Program:
SBIR
Phase:
Phase I
Contract:
W15P7T-11-C-H209
Agency Tracking Number:
A102-102-0382
Solicitation Year:
2010
Solicitation Topic Code:
A10-102
Solicitation Number:
2010.2
Small Business Information
Galois, Inc.
421 SW Sixth, Suite 300, Portland, OR, 97204
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
098009918
Principal Investigator:
Dylan McNamee
Principal Investigator
(503) 808-7187
dylan@galois.com
Business Contact:
Anne McClaran
Contracts Administrator
(503) 808-7203
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

US Flag An Official Website of the United States Government