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
Award Id:
97920
Agency Tracking Number:
A102-102-0382
Solicitation Year:
n/a
Solicitation Topic Code:
ARMY 10-102
Solicitation Number:
n/a
Small Business Information
421 SW Sixth, Suite 300, Portland, OR, 97204
Hubzone Owned:
N
Minority Owned:
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


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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government