You are here

Awards Information

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

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

    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
  4. Gallium Nitride Based Light-Emitting Diodes (LED) for Pathogen Elimination, Wound Healing and Tissue Regeneration


    In Phase I, Rainbow Communications demonstrated the proof of the principle of innovative gallium nitride (GaN) based light-emitting diodes (LED) for pathogen elimination, wound healing, and tissue regeneration. In Phase II, Rainbow will improve the designand fabrication of the GaN based LED devices, adding the following new features: (1) new architecture of GaN based LED source; (2) new LED and de ...

    SBIR Phase II 2003 Department of DefenseDefense Advanced Research Projects Agency
US Flag An Official Website of the United States Government