You are here
The Award database is continually updated throughout the year. As a result, data for FY20 is not expected to be complete until September, 2021.
SBC: Real-time Innovations, Inc. Topic: SB151003
Real-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
SBC: True Secure SCADA Topic: SB151003
True 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