Affordable Run-Time Verification & Validation of Fly Critical Software

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8650-04-M-3437
Agency Tracking Number: F041-246-3025
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2004
Solicitation Year: 2004
Solicitation Topic Code: AF04-246
Solicitation Number: 2004.1
Small Business Information
4519 Mustering Drum, Ellicott City, MD, 21042
DUNS: 868155110
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Chris Walter
 (410) 418-4353
Business Contact
 Chris Walter
Title: Principal Investigator
Phone: (410) 418-4353
Research Institution
The verification and validation (V&V) in distributed systems is a difficult task that is requires significant cost and effort. Our approach uses formalized attributes that are available as selectable and enforceable properties necessary for V&V of critical software. Using this information, two strategies are proposed. The first is to use executable assertions to verify at run-time that proof conditions are intact. This can be used for compositional strategies involving proof conditions. The second is more effective as system complexity increases and provides a fault tolerant middleware service that establishes properties useful for on-line V&V by software. Of particular importance is a global time property since it is very difficult to reason about timeliness for many types of proof. Furthermore, the availability of a verified timeliness property at run-time can result in significant simplification of proof conditions. The proposed Phase I effort would directly address the challenge of constructing these methods and a process for their use. WWTG will build on concepts that have been successful in the design of the x-by-wire approach for the Virginia Class submarine (VSSN).

* 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