USA flag logo/image

An Official Website of the United States Government

TESTING EMBEDDED AND PARALLEL SYSTEMS

Award Information

Agency:
Department of Defense
Branch:
Army
Award ID:
9541
Program Year/Program:
1989 / SBIR
Agency Tracking Number:
9541
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Cybernet Systems Corporation
3885 Research Park Drive Ann Arbor, MI 48108-2247
View profile »
Woman-Owned: Yes
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 1989
Title: TESTING EMBEDDED AND PARALLEL SYSTEMS
Agency / Branch: DOD / ARMY
Contract: N/A
Award Amount: $49,374.00
 

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.

Principal Investigator:

Charles J Jacobus
3136682567

Business Contact:

Small Business Information at Submission:

Charles Systems Corp
820 Heatherway Ann Arbor, MI 48104

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