USA flag logo/image

An Official Website of the United States Government

Safe, Secure, High-Performance Hypervisor: Partitioning Approach to Isolating…

Award Information

Agency:
Department of Defense
Branch:
N/A
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
N102-184-0497
Solicitation Year:
2010
Solicitation Topic Code:
N102-184
Solicitation Number:
2010.2
Small Business Information
DornerWorks, Ltd.
3445 Lake Eastbrook Blvd SE Grand Rapids, MI -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 2012
Title: Safe, Secure, High-Performance Hypervisor: Partitioning Approach to Isolating Untrusted Software
Agency: DOD
Contract: N66001-12-C-5221
Award Amount: $749,971.00
 

Abstract:

We will continue development of ARINC 653 extensions for Xen, completing time and space partitioning and adding the I/O subsystem (building on our prototype serial driver). We will use more automated tools for our formal methods analysis by collaborating with the Advanced Technology Center of Rockwell Collins. This should allow us to analyze more of the system than we previously considered. Our demonstration of the updated system will show multiple RTOS products running in the unprivileged domains. During this phase we will also move from PC-based development to actual embedded hardware representative of JTRS platforms. We will test the demonstration system by contracting with an independent security testing organization, who will attempt to break the system by adding malware to the partition running an open source application and then endeavor to breach the isolation barriers erected by the hypervisor to modify (or at least read) data in one of the safety-critical or highly secure partitions. We will also subject our certification artifacts to an independent audit by an FAA Designated Engineering Representative (DER) consultant, to confirm the safety of our system.

Principal Investigator:

Steven VanderLeest
VP of Research&Developm
(616) 929-0399
Steve.VanderLeest@dornerworks.com

Business Contact:

David Dorner
President
(616) 245-8369
David.Dorner@dornerworks.com
Small Business Information at Submission:

DornerWorks, Ltd.
3445 Lake Eastbrook SE Grand Rapids, MI -

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