REAL-TIME INNOVATIONS, INC. — Department of Defense SBIR Phase II: SB151-003

REAL-TIME INNOVATIONS, INC. — SBIR Phase II award from Department of Defense.

Amount
$1,499,944
Agency
Department of Defense · Defense Advanced Research Projects Agency
Program / Phase
SBIR · Phase II
Topic
SB151-003
Solicitation
2015.1
NAICS
Place of performance
CA
Period
2016-06-24 → 2019-08-23

Description

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.