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. A Secure Distributed Computing Middleware for the seL4 Ecosystem

    SBC: Real-time Innovations, Inc.            Topic: SB151003

    We propose a novel, open, high-assurance architecture based on the seL4 secure microkernel and RTI's commercial, DO178-C Level A certifiable, Data Distribution Service (DDS) messaging middleware for affordable development of trusted, verified, safety-critical distributed systems.

    SBIR Phase II 2016 Department of DefenseDefense Advanced Research Projects Agency
  2. 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
US Flag An Official Website of the United States Government