You are here
A Secure Distributed Computing Middleware for the seL4 Ecosystem
Phone: (408) 990-7400
Phone: (408) 990-7422
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.
* Information listed above is at the time of submission. *