Secure Software Components Leveraging the seL4 Microkernel

Award Information
Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Amount:
$149,969.96
Award Year:
2015
Program:
SBIR
Phase:
Phase I
Contract:
D15PC00144
Agency Tracking Number:
D151-003-0047
Solicitation Year:
2015
Solicitation Topic Code:
SB151-003
Solicitation Number:
2015.1
Small Business Information
Real-Time Innovations
232 East Java Drive, Sunnyvale, CA, 94089
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
797735883
Principal Investigator
 Gerardo Pardo
 Chief Technology Officer
 (408) 990-7400
 research@rti.com
Business Contact
 Ms. Catherine Mekler
Title: program manager
Phone: (408) 990-7422
Email: cat@rti.com
Research Institution
N/A
Abstract
Real-Time Innovations, Inc. (RTI) proposes to develop an open-source version of RTI Connext DDS Micro for the seL4 developer community. RTI Connext DDS Micro is a small-footprint implementation of the flagship RTI Connext DDS product, the core network messaging infrastructure running in over one trillion dollars worth of critical infrastructure. DDS software provides messaging optimized for communication within and between intelligent machines and devices. RTI Connext DDS Micro is targeted at safe and secure applications that require a very high degree of assurance, such as medical devices, avionics, public transportation and power generation. For Phase I, RTI will build on its research work on seL4 to develop an initial proof of concept prototype demonstrating the RTI Connext DDS Micro on the seL4 kernel. Phase I will culminate in an initial technical demonstration in a medical device scenario. The Phase I Option and Phase II will build on the Phase I significantly by offering incremental Early Access Release (EAR) prototype versions of RTI Connext DDS Micro for seL4. To help encourage rapid adoption, EAR software, tools and utilities will be offered to the seL4 community. Increasingly robust prototype demonstrations will show the viability and value of the combined product to the seL4 community and beyond.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government