Affordable Run-Time Verification & Validation of Flight Critical Software

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$750,000.00
Award Year:
2005
Program:
SBIR
Phase:
Phase II
Contract:
FA8650-05-C-3507
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
Minority Owned:
N
Woman Owned:
N
Duns:
868155110
Principal Investigator:
Chris Walter
Principal Investigator
(410) 418-4353
cwalter@wwtechnology.com
Business Contact:
Chris Walter
President
(410) 418-4353
cwalter@wwtechnology.com
Research Institution:
n/a
Abstract
A well structured approach based on sound theory is realized through a strategy to achieve affordable V&V of critical software. With this approach, we propose the development of tools needed to provide the context for assessing safety and dependability. Our approach uses formalized attributes with comprehensive treatment of all possible error types. The techniques employed to provide on-line V&V are based on properties that are required by the software component and monitoring of declared "safe operating conditions and behavior" by the components. Our theory shows the degree of deterministic and bounded fault detection that can be achieved in a complex distributed system given either existing or transformed attributes. When these techniques are combined with a sound understanding of safety hazards and the corresponding functional requirements, transformations of the system performance can be realized through the integration and monitoring of detectors in target systems. With the appropriate mechanisms, on-line monitoring of these conditions can be carried out. The WWTG middleware framework is transformed into an on-line verifier/validator of the software, helping to extend coverage and visibility into systems under test while simultaneously reducing costs and reducing the risk of flaws that impede correct and safe system operation.

* 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