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: TECHSHOT, INC. Topic: SB151003
Techshot 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
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