You are here

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
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
United States
DUNS: 797735883
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Paul Pazandak
 (408) 990-7400
Business Contact
 Catherine Mekler
Phone: (408) 990-7422
Research Institution

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