Secure Software Components Leveraging the seL4 Microkernel

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.