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:
N/A
Award ID:
Program Year/Program:
2011 / SBIR
Agency Tracking Number:
A102-102-0959
Solicitation Year:
2010
Solicitation Topic Code:
A10-102
Solicitation Number:
2010.2
Small Business Information
Solute, Inc.
4250 Pacific Highway Suite 211 San Diego, CA -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2011
Title: Low Cost High Assurance Separation Kernel
Agency: DOD
Contract: W15P7T-10-C-H622
Award Amount: $69,922.00
 

Abstract:

The development and certification strategies of existing commercially available separation kernels (SK) rely on the costly retrofitting of safety critical (DO-178B) operating systems, to meet the requirements of the NSA approved U.S. Government Separation Kernel Protection Profile in Environments Requiring High Robustness (SKPP). SOLUTE"s innovative approach focuses on the development of a SK architecture, which from the ground up meets the High Robustness requirements of the SKPP and defines cost minimization as a central principle. SOLUTE has partnered with DSD Information Assurance Labs (A National Information Assurance Partnership (NIAP) accredited testing laboratory) and GDC4S to ensure that the architectural development process is optimized for low cost certification at all stages.

Principal Investigator:

Michael MacFadden
Dir of Research and Development
(619) 758-9900
macfadden.michael@solute.us

Business Contact:

John Lyons
Chief Executive Officer
(619) 758-9900
ceo@solute.us
Small Business Information at Submission:

Solute, Inc.
4250 Pacific Highway Suite 211 San Diego, CA -

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