Mixed Criticality, Assured, Real-Time (MiCART) VMM

Award Information
Agency:
Department of Defense
Branch
Office of the Secretary of Defense
Amount:
$743,052.00
Award Year:
2009
Program:
SBIR
Phase:
Phase II
Contract:
N00014-10-C-0139
Award Id:
86097
Agency Tracking Number:
O072-I10-4017
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
111 Third Ave. S., Suite 100, Minneapolis, MN, 55401
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
165988937
Principal Investigator:
Todd Carpenter
Member of Technical Staff
(651) 295-7126
todd.carpenter@adventiumenterprises.com
Business Contact:
Kyle Nelson
Director of Sponsored Res
(612) 280-9843
kyle.nelson@adventiumenterprises.com
Research Institute:
n/a
Abstract
Without strong temporal and spatial separation guarantees provided by the underlying system, integrated mixed critical applications require verification and validation of all their hosted applications at the highest level of criticality. Since the early 1990s, time and space partitioning in commercial avionics has drastically reduced the certification burden on the lower-criticality applications. These systems, however, do not inherently support safe and secure operations in the presence of intentional and malicious threats. Furthermore, these custom real-time operating systems constrain application architecture options, so non-real-time applications pay a development and run-time penalty to operate in these environments. This effort will develop a Mixed Criticality, Assured, Real-Time (MiCART) hypervisor or virtual machine monitor (VMM) to enable the above integration benefits across more application domains than supported by current systems, while reducing the corresponding development, rehosting, verification and validation, and certification costs. By executing applications in MiCART guest partitions, they will be able to run in their current host environments, minimizing changes needed, with MiCART providing the necessary time and space partitioning among mixed criticality, multi-domain environments. In addition to real-time requirements, MiCART will support fault-tolerance, including fault detection, isolation, mitigation, and recovery.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government