SBIR/STTR Research Award
A Secure Distributed Computing Middleware for the seL4 Ecosystem
Award amount
$1,499,944Program and phase
SBIR · Phase IIAward year
2016Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- REAL-TIME INNOVATIONS, INC.
- Proposal award date
- 2016-06-24
- Contract end date
- 2019-08-23
- UEI
- H293LTV8R2U3
- Solicitation number
- 2015.1
- Topic code
- SB151-003
Research abstract
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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- The GENESIS Agent Toolkit for Simulink
- Non-Intrusive Data-Centric Track Synchronization and TDL Monitoring for AEGIS Combat System
- APIARY: Aegis Platform Integration of Aerial Robotic sYstems
- Track Store Synchronization Using Semantic Models for AEGIS Combat System
- A Data-Centric Distributed Agentic Framework for DAF Simulation
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- A Secure Distributed Computing Middleware for the seL4 Ecosystem
- Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display
- Secure Software Components Leveraging the seL4 Microkernel
- Secure Software Components Leveraging the seL4 Microkernel
- Secure Software Components Leveraging the seL4 Microkernel
Research funding history
90 SBIR/STTR records share this UEI (1995–2025). Reported award amounts total $36,533,532. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, Department of Energy, National Aeronautics and Space Administration, Department of Commerce