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.
-
A Secure Distributed Computing Middleware for the seL4 Ecosystem
SBC: REAL-TIME INNOVATIONS, INC. Topic: SB151003We propose a novel, open, high-assurance architecture based on the seL4 secure microkernel and RTI's commercial, DO178-C Level A certifiable, Data Distribution Service (DDS) messaging middleware for affordable development of trusted, verified, safety-critical distributed systems.
SBIR Phase II 2016 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 -
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: REAL-TIME INNOVATIONS, INC. Topic: SB151003Real-Time Innovations, Inc. (RTI) proposes to develop an open-source version of RTI Connext DDS Micro for the seL4 developer community.RTI Connext DDS Micro is a small-footprint implementation of the flagship RTI Connext DDS product, the core network messaging infrastructure running in over one trillion dollars worth of critical infrastructure.DDS software provides messaging optimized for communic ...
SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency -
seL4 Components for Secure Embedded Networked Applications
SBC: Wearable Inc. Topic: SB151003Embedded networking applications ranging from industrial control systems to home automation and networking to smartphone-controllable devices represent a substantial and growing internet security risk. The open source formally verified seL4 microkernel provides a foundation for building trustworthy systems. Wearable Inc. proposes building on this a set of high-quality software components which can ...
SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency -
A Secure Distributed Computing Middleware for the seL4 Ecosystem
SBC: REAL-TIME INNOVATIONS, INC. Topic: SB151003Real-Time Innovations, Inc. (RTI) proposes to continue our research and development of a novel, open, high-assurance communications framework based on the seL4 secure microkernel and the OMG Data Distribution Service (DDS) messaging middleware. In this effort we will primarily focus on the design, development and testing of 2-3 reference architectures for trusted, verified, safety-critical distr ...
SBIR Phase II 2020 Department of DefenseDefense Advanced Research Projects Agency -
Secure Software Components Leveraging the seL4 Microkernel
SBC: Critical Technologies Inc Topic: SB151003The overall objective of this topic is to build applications that expand the ecosystem of secure software components around the seL4 operating system microkernel. The CTI/SU teams interpretation of this is broad, including an application primarily as a demonstration of the utility of a more fundamental expansion of the ecosystem: to release to the community, as open source, a minimized Trusted Com ...
SBIR Phase II 2015 Department of DefenseDefense Advanced Research Projects Agency -
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 -
Gallium Nitride Based Light-Emitting Diodes (LED) for Pathogen Elimination, Wound Healing and Tissue Regeneration
SBC: RAINBOW COMMUNICATIONS, INC. Topic: N/AIn Phase I, Rainbow Communications demonstrated the proof of the principle of innovative gallium nitride (GaN) based light-emitting diodes (LED) for pathogen elimination, wound healing, and tissue regeneration. In Phase II, Rainbow will improve the designand fabrication of the GaN based LED devices, adding the following new features: (1) new architecture of GaN based LED source; (2) new LED and de ...
SBIR Phase II 2003 Department of DefenseDefense Advanced Research Projects Agency