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
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Timeline
Solicitation Year: 2015
Award Year: 2016
Award Start Date (Proposal Award Date): 2016-06-24
Award End Date (Contract End Date): 2019-08-23
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. *

US Flag An Official Website of the United States Government