You are here

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 FY20 is not expected to be complete until September, 2021.

  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
  3. Secure Software Components Leveraging the seL4 Microkernel

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