USA flag logo/image

An Official Website of the United States Government

Affordable Run-Time Verification & Validation of Fly Critical Software

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
67811
Program Year/Program:
2004 / SBIR
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 -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2004
Title: Affordable Run-Time Verification & Validation of Fly Critical Software
Agency / Branch: DOD / USAF
Contract: FA8650-04-M-3437
Award Amount: $100,000.00
 

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).

Principal Investigator:

Chris J. Walter
President
4104184353
cwalter@wwtechnology.com

Business Contact:

Chris J. Walter
Principal Investigator
4104184353
cwalter@wwtechnology.com
Small Business Information at Submission:

WW TECHNOLOGY GROUP
4519 Mustering Drum Ellicott City, MD 21042

EIN/Tax ID: 522215285
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No