Low Cost High Assurance Separation Kernel

Award Information
Agency: Department of Defense
Branch: Army
Contract: W15P7T-10-C-H622
Agency Tracking Number: A102-102-0959
Amount: $69,922.00
Phase: Phase I
Program: SBIR
Awards Year: 2011
Solicitation Year: 2010
Solicitation Topic Code: A10-102
Solicitation Number: 2010.2
Small Business Information
4250 Pacific Highway, Suite 211, San Diego, CA, -
DUNS: 117938311
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Michael MacFadden
 Dir of Research and Development
 (619) 758-9900
Business Contact
 John Lyons
Title: Chief Executive Officer
Phone: (619) 758-9900
Email: ceo@solute.us
Research Institution
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.

* 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government