TESTING EMBEDDED AND PARALLEL SYSTEMS

Award Information
Agency:
Department of Defense
Branch
Army
Amount:
$49,374.00
Award Year:
1989
Program:
SBIR
Phase:
Phase I
Contract:
n/a
Award Id:
9541
Agency Tracking Number:
9541
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
820 Heatherway, Ann Arbor, MI, 48104
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Charles J Jacobus
(313) 668-2567
Business Contact:
() -
Research Institute:
n/a
Abstract
SOFTWARE SYSTEMS FOR MANY MILITARY AND SPACECRAFT EMBEDDED AND PARALLEL (DISTRIBUTED) SYSTEMS APPLICATIONS ARE EXTENSIVE AND HIGHLY COMPLEX, MAKING DESIGN, SAFETY ANALYSIS, VERIFICATION AND TESTING DIFFICULT. SIMILAR PROBLEMS HAVE PLAGUED VLSI HARDWARE DEVELOPERS, AND LIKE IN SPACE AND MILITARY CONTEXTS, THE COST FOR REWORK DUE TO SYSTEMS DESIGN ERRORS HAS DRIVEN DEVELOPMENT OF VALIDATION AND VERIFICATION METHODOLOGIES AND ASSOCIATED TOOLS. WE PROPOSE TO ADAPT SOME OF THESE TESTING APPROACHES TYPICALLY USED IN VLSI SYSTEM VALIDATION TO THE TESTING OF LARGE AI AND CONVENTIONAL SOFTWARE SYSTEMS, AND BUILD AN EFFICIENT DEVELOPMENT ENVIRONMENT FOR LISP (AND, IN PHASE II, ADA AND/OR CMS-3) TO SUPPORT THEM. WE BELIEVE THE TOOLS PROPOSED WILL BE USEFUL DURING REVERSE SOFTWARE ENGINEERING, AS WELL, BECAUSE KEY RELATIONSHIPS BETWEEN MODULES, VARIABLES, AND CONDITIONAL PATHS WILL BE ELLUCIDATED.

* 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