Isolation Techniques for Untrusted Software

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$90,359.00
Award Year:
2011
Program:
SBIR
Phase:
Phase I
Contract:
N00039-11-C-0031
Award Id:
n/a
Agency Tracking Number:
N102-184-0497
Solicitation Year:
2010
Solicitation Topic Code:
N102-184
Solicitation Number:
2010.2
Small Business Information
3445 Lake Eastbrook SE, Grand Rapids, MI, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
079456476
Principal Investigator:
Steven VanderLeest
Vice-President of R&D
(616) 822-4976
Steve.VanderLeest@dornerworks.com
Business Contact:
David Dorner
President
(616) 245-8369
David.Dorner@dornerworks.com
Research Institution:
Stub




Abstract
Our project addresses the problem of simultaneous achievement of safety, security, and performance. The study we propose will elicit a better understanding of the implicit trade-offs between the three and explore a promising path forward to optimize all three on a modern computer platform. Our approach is an implementation of the ARINC 653 software partitioning standard as our separation kernel, developed using the open source virtualization technology of the Xen hypervisor and a Linux-based privileged domain 0. For the feasibility study of Phase 1, we target a core set of features (an Agile story) encompassing the CPU scheduler as a key part of the separation kernel. This feature set is analyzed using formal methods with the Isabelle proof assistant. Security is evaluated under the rigor of the Common Criteria, while the safety assurance of this approach is evaluated through a rigorous audit under the DO-178B flight certification standard (with an actual FAA Designated Engineering Representative). In addition, performance is assessed through a hybrid HW/SW measurement technique.

* 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