Automated Test Generation in Intelligent Systems (GENISYS)

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$599,996.00
Award Year:
2002
Program:
SBIR
Phase:
Phase II
Contract:
NAS2-02104
Award Id:
56505
Agency Tracking Number:
012829
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
1107-C Lyons Road, Dayton, OH, 45458
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
KrishnaRanganathan
Senior Researcher
(937) 433-0477
k.ranga@edaptive.com
Business Contact:
DaleKirby
Business Official
(937) 433-0477
d.kirby@edaptive.com
Research Institute:
n/a
Abstract
EDAptive Computing, Inc. (EDAptive) and the University of Kansas (KU) propose a unique and commercially viable solution to the problem of testing upgraded hardware and software components in place, within the system that contains them. Such upgrades occur frequently in NASA satellite and Space Station embedded systems. Our proposed solution implements specification-based testing techniques to automatically generate test sequences and expected results from component requirements models, and translates the generated tests, initially generated for application to the component interface, for application to the interface of the overall system. Our solution will considerably reduce the time and effort required for in place testing of components in real-time and embedded computing systems, thereby ensuring their safe and reliable operation. Our proposed Automated Test Generation in Intelligent Systems (GENISYS) project leverages the following:i. An emerging System Level Design Language (SLDL), Rosetta, ii. EDAptive?s VectorGen? tool, to automatically generate test sequences and expected results starting from specifications, and Syscape? tool to intuitively capture system specifications,iii. EDAptive and KU?s expertise in formal methods, specification languages and test generation techniques, andiv. KnowledgeKinetics (K2), an enterprise collaboration tool suite.Furthermore, our commercialization and business plan has been refined and validated through a peer review.

* 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