The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until April, 2020.
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: BASHPOLE SOFTWARE, INC. Topic: SB092007
The proposed effort will expand on the previous efforts data mashing technology development to enable it to handle scenarios that are simultaneously more complicated and more dependent on high accuracy. This project will fulfill the solicitations Phase II goal, Develop a prototype that demonstrates the efficacy of DATALATOR technology based on Phase I results, data, and analysis. Evaluate the per ...SBIR Phase II 2015 Department of DefenseDefense Advanced Research Projects Agency
SBC: CRITICAL TECHNOLOGIES INC Topic: SB151003
The 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