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. 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
  2. seL4 Components for Secure Embedded Networked Applications

    SBC: Wearable Inc.            Topic: SB151003

    Embedded networking applications ranging from industrial control systems to home automation and networking to smartphone-controllable devices represent a substantial and growing internet security risk. The open source formally verified seL4 microkernel provides a foundation for building trustworthy systems. Wearable Inc. proposes building on this a set of high-quality software components which can ...

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

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

    Real-Time Innovations, Inc. (RTI) proposes to develop an open-source version of RTI Connext DDS Micro for the seL4 developer community.RTI Connext DDS Micro is a small-footprint implementation of the flagship RTI Connext DDS product, the core network messaging infrastructure running in over one trillion dollars worth of critical infrastructure.DDS software provides messaging optimized for communic ...

    SBIR Phase I 2015 Department of DefenseDefense Advanced Research Projects Agency
  5. Secure Software Components Leveraging the seL4 Microkernel

    SBC: True Secure SCADA            Topic: SB151003

    True Secure SCADAs (TSS) primary technical objective is to develop a set of plans and specifications for building secure software components, in the context of seL4, which can be used to improve the cyber-security of the industrial control systems used in critical infrastructure installations. The resulting plan will identify the modules that are needed for this application and will specify a pla ...

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