The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until June, 2020.
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
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