A Secure Distributed Computing Middleware for the seL4 Ecosystem

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D16PC00101
Agency Tracking Number: D2-1536
Amount: $1,499,944.00
Phase: Phase II
Program: SBIR
Awards Year: 2016
Solicitation Year: 2015
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Small Business Information
232 East Java Drive, Sunnyvale, CA, 94089
DUNS: 797735883
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Paul Pazandak
 (408) 990-7400
 research@rti.com
Business Contact
 Catherine Mekler
Phone: (408) 990-7422
Email: cat@rti.com
Research Institution
N/A
Abstract
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.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government