Affordable Run-Time Verification & Validation of Fly Critical Software

Award Information
Agency:
Department of Defense
Amount:
$100,000.00
Program:
SBIR
Contract:
FA8650-04-M-3437
Solitcitation Year:
2004
Solicitation Number:
2004.1
Branch:
Air Force
Award Year:
2004
Phase:
Phase I
Agency Tracking Number:
F041-246-3025
Solicitation Topic Code:
AF04-246
Small Business Information
WW TECHNOLOGY GROUP
4519 Mustering Drum, Ellicott City, MD, 21042
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
868155110
Principal Investigator
 Chris Walter
 President
 (410) 418-4353
 cwalter@wwtechnology.com
Business Contact
 Chris Walter
Title: Principal Investigator
Phone: (410) 418-4353
Email: cwalter@wwtechnology.com
Research Institution
N/A
Abstract
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

US Flag An Official Website of the United States Government