A Secure Distributed Computing Middleware for the seL4 Ecosystem

Period of Performance: 06/24/2016 - 07/23/2018


Phase 2 SBIR

Recipient Firm

Real-time Innovations
232 East Java Drive Array
Sunnyvale, CA 94089
Firm POC
Principal Investigator


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.