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.
Displaying 1 result(s)
-
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