Awards Information

For best search results, use the search terms first and then apply the filters
Reset

The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until June, 2020.

  1. Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display

    SBC: DORNERWORKS, LTD.            Topic: SB151003

    We are leveraging theassurance of the seL4microkernel, enabling mixed levels of safety-criticality and security via a methodology, design process, ecosystem components, and tools. Our target market includes commercial and military aerospace, defense, energy, and medical embedded applications which require safety/reliability and information assurance. Phase I produced not only a feasibility study, ...

    SBIR Phase II 2016 Department of DefenseDefense Advanced Research Projects Agency
  2. An seL4-Enabled Safe & Secure Soldier Helmet Display

    SBC: DORNERWORKS, LTD.            Topic: SB151003

    We 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
US Flag An Official Website of the United States Government