Affordable Run-Time Verification & Validation of Fly Critical Software

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