Technology for Affordable Validation and Verification (V&V) Software Design Processes and Safe Flight-Critical Software

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8650-05-C-3523
Agency Tracking Number: F041-246-1325
Amount: $749,917.00
Phase: Phase II
Program: SBIR
Awards Year: 2005
Solicitation Year: 2004
Solicitation Topic Code: AF04-246
Solicitation Number: 2004.1
Small Business Information
1245 Lyons Road, Building G, Dayton, OH, 45458
DUNS: 031764616
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: Y
Principal Investigator
 Tony Corvo
 Program Director
 (937) 433-0477
Business Contact
 Praveen Chawla
Title: President
Phone: (937) 433-0477
Research Institution
There is an urgent need to reduce costs and risks associated with the development of flight critical software, while maintaining or improving safety margins. To address this need, the EDAptive Computing, Inc. (ECI) team has developed an integrated Validation and Verification (V&V) safety assurance method that commences during the design phase, is used during the development and implementation phases and persists (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, enabling run-time error detection. Our solution is consistent with EDAptive® 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, enabling computer interpretation and analysis of these requirements. Furthermore, our method produces system specifications that accelerate implementation and verification of the system and ensures consistency between the design and its implementation.

* 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government