You are here
Awards Information
The Award database is continually updated throughout the year. As a result, data for FY24 is not expected to be complete until March, 2025.
Download all SBIR.gov award data either with award abstracts (290MB)
or without award abstracts (65MB).
A data dictionary and additional information is located on the Data Resource Page. Files are refreshed monthly.
The SBIR.gov award data files now contain the required fields to calculate award timeliness for individual awards or for an agency or branch. Additional information on calculating award timeliness is available on the Data Resource Page.
-
Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display
SBC: DORNERWORKS, LTD. Topic: SB151003We are leveraging theassurance of the seL4microkernel, enabling mixed levels of safety-criticality and security via a methodology, design process, ecosystem components, and tools. Our target market includes commercial and military aerospace, defense, energy, and medical embedded applications which require safety/reliability and information assurance. Phase I produced not only a feasibility study, ...
SBIR Phase II 2016 Department of DefenseDefense Advanced Research Projects Agency -
Secure Software Components Leveraging the seL4 Microkernel
SBC: True Secure SCADA Topic: SB151003True Secure SCADAs (TSS) primary technical objective is to develop a set of plans and specifications for building secure software components, in the context of seL4, which can be used to improve the cyber-security of the industrial control systems used in critical infrastructure installations. The resulting plan will identify the modules that are needed for this application and will specify a pla ...
SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency -
An seL4-Enabled Safe & Secure Soldier Helmet Display
SBC: DORNERWORKS, LTD. Topic: SB151003We will develop software components layered on the seL4 microkernel, enabling mixed levels of safety-criticality and security.Our target market includes commercial and military aerospace, defense, and medical embedded applications requiring some measure of safety/reliability and information assurance. Phase I will produce not only a feasibility study, but also demonstrate a prototype multi-level s ...
SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency -
Secure Software Components Leveraging the seL4 Microkernel
SBC: TECHSHOT, INC. Topic: SB151003Techshot proposes the L4 ArchitectUre for Next-generation Crewed Hardware (LAUNCH), a set of open-source software components that leverages the verified separation kernel of seL4 to create a robust achievable system that can be used to reduce the cost and development time of highly reliable systems like those used on crewed space flight. With over a 25 year history of developing life science paylo ...
SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency