SBIR/STTR Research Award
Low-Cost, High Assurance Separation Kernel
Award amount
$61,244Program and phase
SBIR · Phase IAward year
2010Award details
- Awarding agency
- Department of Defense
- Branch
- Army
- Recipient company
- GALOIS, INC.
- Proposal award date
- 2010-11-17
- Contract end date
- 2011-05-01
- UEI
- MKT6C6U2BRM4
- Solicitation number
- 2010.2
- Topic code
- A10-102
Research 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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- 5STARS Boost: Refining 5STARS Network Verification Technology for Transition
- Vendor-Interoperable Ontology Linking and Exploration Tool (VIOLET)
- CGCore: Common-Ground Contextual Operator-oriented REasoning: Machine Assisted Symbiotic Intelligence Frameworks for Representing, Understanding, Inte
- RHEIA-F: Robust High-fidelity Energy-Informed Autonomy Framework
- Privacy Assured Linkage and Analytics over Datasets from Isolated Neighborhoods (PALADIN)
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Mobility Architecture Development and Integration
- Mobility Architecture Development and Integration
- Higher Assurance and Lower Cost Separation Kernels
- Low Cost High Assurance Separation Kernel
Research funding history
67 SBIR/STTR records share this UEI (2005–2026). Reported award amounts total $45,377,258. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, Department of Energy, Department of Homeland Security, National Aeronautics and Space Administration