USA flag logo/image

An Official Website of the United States Government

Technology for Affordable Validation and Verification (V&V) Software Design…

Award Information

Agency:
Department of Defense 		Branch:
Air Force 		Award ID:
67810 		Program Year/Program:
2004 / SBIR
Agency Tracking Number:
F041-246-1325 		Solicitation Year:
N/A 		Solicitation Topic Code:
N/A 		Solicitation Number:
N/A
Small Business Information
Edaptive Computing, Inc
1245 LYONS RD STE G Dayton, OH -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2004
Title: Technology for Affordable Validation and Verification (V&V) Software Design Processes and Safe Flight-Critical Software
Agency / Branch: DOD / USAF
Contract: FA8650-04-M-3438
Award Amount: $100,000.00
 

Abstract:

There is an urgent need to reduce costs and risks associated with the development of flight critical software, while maintaining or improving the safety margins. To address this need, EDAptive Computing, Inc. (ECI) team has developed an integrated Validation and Verification (V&V) method for safety assurance commencing at design-time, used during development (implementation) and persisting (as error detection) through run-time operations. Our "SpecSafe" approach exploits formal, mathematically sound V&V techniques rather than manually intensive testing, and ad hoc or partial testing and verification methods. Our proposed V&V approach is based upon forming assertions using formal specifications and a higher-order logic theorem prover at design-time and inserting the assertions in program code, thereby enabling run-time error detection. Our solution is consistent with EDAptiveT Systems Engineering methodology and tool suite which provides a framework for the proposed solution. This methodology is based upon the premise that system requirements can be captured unambiguously in a computer-sensible manner, thereby enabling computer interpretation and analysis of these requirements. Further, the resulting system specifications from our method are used to accelerate implementation and verification of the system and ensure consistency between the design and its implementation.

Principal Investigator:

David Barton
Principal Investigator
9374330477
d.barton@edaptive.com

Business Contact:

Dale Kirby
Vice President
9374330477
d.kirby@edaptive.com
Small Business Information at Submission:

EDAPTIVE COMPUTING, INC.
1245 Lyons Road, Building G Dayton, OH 45458

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