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: W31P4Q-20-C-0046
Agency Tracking Number: D2S-0008
Amount: $500,000.00
Phase: Phase II
Program: SBIR
Solicitation Topic Code: SB151-003
Solicitation Number: 15.1
Timeline
Solicitation Year: 2015
Award Year: 2020
Award Start Date (Proposal Award Date): 2020-09-29
Award End Date (Contract End Date): 2021-09-30
Small Business Information
232 East Java Drive
Sunnyvale, CA 94089-1111
United States
DUNS: 797735883
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Paul Pazandak
 (408) 990-7471
 paul@rti.com
Business Contact
 Edelee Mallillin
Phone: (408) 990-7476
Email: edelee@rti.com
Research Institution
N/A
Abstract

Real-Time Innovations, Inc. (RTI) proposes to continue our research and development of a novel, open, high-assurance communications framework based on the seL4 secure microkernel and the OMG Data Distribution Service (DDS) messaging middleware.  In this effort we will primarily focus on the design, development and testing of 2-3 reference architectures for trusted, verified, safety-critical distributed systems.  Our goal is to advance our understanding of practical application architectures, providing important results and guidance to the seL4 community. RTI’s overall goal continues to be the development and contribution of an open-source, secure version, of our commercial product, and a set of supporting tools to the seL4 developer community to help foster adoption of this new technology and the underlying seL4 kernel.  A substantial hurdle to the adoption of seL4 is the lack of both a stable version of the microkernel as well as support for distributed communications.  The seL4 Center of Excellence (CoE), funded in part by DARPA, is focused on the development of a stable distribution for US DoD adopters. In parallel, RTI continues to advance the goal to provide an integrated, mature, and standards-based solution for distributed communications.

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

US Flag An Official Website of the United States Government