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

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-08-M-0129
Agency Tracking Number: O072-I10-4017
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2008
Solicitation Year: 2007
Solicitation Topic Code: OSD07-I10
Solicitation Number: 2007.2
Small Business Information
111 Third Ave. S., Suite 100, Minneapolis, MN, 55401
DUNS: 165988937
HUBZone Owned: N
Woman Owned: Y
Socially and Economically Disadvantaged: N
Principal Investigator
 Todd Carpenter
 Member of Technical Staff
 (651) 295-7126
Business Contact
 Kyle Nelson
Title: Director of Sponsored Research
Phone: (612) 280-9843
Email: kyle.nelson@adventiumenterprises.co
Research Institution
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.

* 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government