You are here

Secure Software Components Leveraging the seL4 Microkernel

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D15PC00144
Agency Tracking Number: D151-003-0047
Amount: $149,969.96
Phase: Phase I
Program: SBIR
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Solicitation Year: 2015
Award Year: 2015
Award Start Date (Proposal Award Date): 2015-06-09
Award End Date (Contract End Date): 2016-06-21
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
 Gerardo Pardo
 Chief Technology Officer
 (408) 990-7400
Business Contact
 Ms. Catherine Mekler
Title: program manager
Phone: (408) 990-7422
Research Institution

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. *

US Flag An Official Website of the United States Government