You are here
Awards Information
The Award database is continually updated throughout the year. As a result, data for FY20 is not expected to be complete until September, 2021.
-
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: 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 -
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
