test image

seL4 MicroKernal Based Cross Domain System

RPP-00-10
Request for Prototype Proposal
Closed
June June 30 2016

Due Date

June 30, 2016, 11:00 am

Release Date

May 4, 2016, 8:00 pm

Technology Objective Area

Architecture, Security & Modularity

ASM-17-04
Lindsay Bayles

NAMC POC

Lindsay Bayles

Contact
ISV b&w

Join Now to Access All the Details

If you'd like to access all of the opportunity details below, consider joining NAMC today!

Learn more about NAMC
Apply for Membership

Already a member? Login

Overview

The proposed effort will demonstrate the creation of a Cross Domain System (CDS), using the formally validated seL4 MicroKernal and the Advanced RISC Machines (ARM) processor architecture. This would demonstrate a robust cyber security system at low cost which would be relevant to ground vehicle systems.

Announcements

There are no announcements at this time.

Resources

Bids Portal
DAI OTA Guide

Teaming

We highly encourage our members to team up on projects completed through our consortium. Consider joining NAMC today if you're interested in teaming with another member on this opportunity.

Become a Member