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
Award Id:
67811
Agency Tracking Number:
F041-246-3025
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
4519 Mustering Drum, Ellicott City, MD, 21042
Hubzone Owned:
N
Minority Owned:
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


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