USA flag logo/image

An Official Website of the United States Government

Low-Cost, High Assurance Separation Kernel

Award Information

Agency:
Department of Defense
Branch:
Army
Award ID:
97920
Program Year/Program:
2010 / SBIR
Agency Tracking Number:
A102-102-0382
Solicitation Year:
N/A
Solicitation Topic Code:
ARMY 10-102
Solicitation Number:
N/A
Small Business Information
Galois, Inc.
421 SW Sixth Avenue Suite 300 Portland, OR 97204-1662
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2010
Title: Low-Cost, High Assurance Separation Kernel
Agency / Branch: DOD / ARMY
Contract: W15P7T-11-C-H209
Award Amount: $61,244.00
 

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.

Principal Investigator:

Dylan McNamee
Principal Investigator
5038087187
dylan@galois.com

Business Contact:

Anne M. McClaran
Contracts Administrator
5038087203
anne@galois.com
Small Business Information at Submission:

Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204

EIN/Tax ID: 931278540
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No