Automated Test Generation in Intelligent Systems (GENISYS)
Project Award Date: 10-01-2002
ITTC will provide research and development support to EDAptive in performance of effort required to investigate and develop GENISYS tools. ITTC will provide support for EDAptive in the following areas:
1. Data Path Determination Research
ITTC will provide research and development in the area of determining data paths from one point in a Rosetta description to another, using the broadest possible subset of the Rosetta language. Data paths include direction of data calculation under a reasonable definition of "direction" (the formal definition of this notion also to be a subject of research).
Deliverables: (a) Definition of data path, algorithms for determining data paths, and a defined Rosetta subset that can be addressed by those data paths. (b) Prototype data path determination codes.
Dates: Prototypes definitions and code for technical review every three months from KU subcontract initiation, with the first research deliverable occurring after three months and the first research prototype after six months. Major production prototypes each six months from KU subcontract initiation and at contract end.
2.Specification Inverse Research
ITTC will provide research and development in the area of producing inverse function definitions for the broadest possible selection of Rosetta language features. Researchers will focus their attention on feedback loops and software do loops, including prototype software to determine these inversions.
Deliverables: (a) Theoretical research into function inversion based on Rosetta descriptions. This includes documentation of the approach. (b) Research prototype codes implementing component inversion. This includes prototype source code, usage documentation, integration documentation, and methodology description.
Dates: Prototypes for technical review every three months from KU subcontract initiation. Major production prototypes each six months from KU subcontract initiation and at contract end.
3. Administrative Support
ITTC will support EDAptive in such reviews, presentations, and other meetings as EDAptive will direct.
Deliverables: Presentation slides and inputs to reports.
Dates: As specified by EDAptive to support review meetings and review documentation.
Primary Sponsor(s): EDAptive Computing, Inc