USA flag logo/image

An Official Website of the United States Government

VERIFICATION AND VALIDATION OF AI SOFTWARE

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
8242
Program Year/Program:
1989 / SBIR
Agency Tracking Number:
8242
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Advanced Decision Systems
1500 Plymouth St Mountain View, CA 94043
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1989
Title: VERIFICATION AND VALIDATION OF AI SOFTWARE
Agency / Branch: DOD / USAF
Contract: N/A
Award Amount: $495,339.00
 

Abstract:

NEW VERIFICATION AND VALIDATION (V&V) TECHNIQUES ARE NEEDED FOR USE WITH AI SOFTWARE. FORTUNATELY, AI SYSTEMS HAVE SEVERAL FEATURES THAT CAN BE USED IN NEW WAYS TO SUPPORT VERIFICATION AND VALIDATION; IN PARTICULAR, AUTOMATIC REASONING ABOUT DECLARATIVE REPRESENTATION CAN CHECK FOR CONSISTENCY AND OTHER PROPERTIES OF RULES, REASONING ABOUT UNCERTAINTY CAN BE USED TO ACHIEVE ROBUTNESS IN THE FACE OF ERRORS, REDUNDANCY AND SELF-CHECKING CAN ACHIEVE RUN-TIME VERIFICATION, SIMULATIONS CAN BE USED AS A TESTING METHODOLOGY, AND IMPROVED METHODS FOR MODULARITY, ABSTRACTION, AND USER INTERACTION CAN BE USED TO GIVE USERS A BETTER WORKING MODEL OF THE SYSTEM'S FUNCTIONALITY AND THUS ENABLE THE USERS TO GAIN CONFIDENCE IN THE SYSTEM AS THEY USE IT. THIS RESEARCH WILL EXPLORE THESE AND OTHER TECHNIQUES FOR VERIFYING AND VALIDATING AI SOFTWARE IN THE CONTEXT OF AN OVERALL SOFTWARE DEVELOPMENT MODEL THAT IS COMPATIBLE WITH AI SOFTWARE DEVELOPMENT METHODS. MULTIPLE V&V TECHNIQUES ARE NEEDED, AND THE CHOICE OF THE SET OF V&V TECHNIQUES USED FOR ANY SOFTWARE APPLICATION DEPENDS ON THE APPLICATION, ON THE AI FEATURES USED IN THE SOFTWARE, AND ON THE SOFTWARE DEVELOPMENT ENVIRONMENT. A GOAL OF THIS RESEARCH IS TO DEVELOP GUIDELINES FOR CHOOSING THE V&V TECHNIQUES THAT ARE EFFECTIVE FOR A GIVEN APPLICATION.

Principal Investigator:

Dr Theodore Linden
4159413912

Business Contact:

Small Business Information at Submission:

Advanced Decision Systems
1500 Plymouth St Mountain View, CA 94043

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