USA flag logo/image

An Official Website of the United States Government

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

Award Information

Agency:
Department of Defense 		Branch:
Office of the Secretary of Defense 		Award ID:
86097 		Program Year/Program:
2008 / SBIR
Agency Tracking Number:
O072-I10-4017 		Solicitation Year:
N/A 		Solicitation Topic Code:
N/A 		Solicitation Number:
N/A
Small Business Information
Adventium Enterprises, LLC
111 Third Ave. S., Suite 100 Minneapolis, MN -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2008
Title: Mixed Criticality, Assured, Real-Time (MiCART) VMM
Agency / Branch: DOD / OSD
Contract: N00014-08-M-0129
Award Amount: $100,000.00
 

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 runtime penalty to operate in these environments. This effort will develop a Mixed Criticality, Assured, Real-Time (MiCART) hypervisor or virtual machine monitor (VMM) that enables 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 can run in their current host environments (minimizing changes needed) with MiCART providing the necessary time & 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.

Principal Investigator:

Todd Carpenter
Member of Technical Staff
6512957126
todd.carpenter@adventiumenterprises.com

Business Contact:

Kyle Nelson
Director of Sponsored Research
6122809843
kyle.nelson@adventiumenterprises.com
Small Business Information at Submission:

ADVENTIUM ENTERPRISES, LLC
111 Third Ave. S., Suite 100 Minneapolis, MN 55401

EIN/Tax ID: 113736871
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No