Electronic Sensor System Engineering and Capture Environment (ESSENCE)
Project Award Date: 10-01-2002
ITTC will provide research and development support to EDAptive in performance of the effort required to develop Rosetta analysis tools under the REACTOR Phase II effort. This project was previously called REACTOR Phase II
ITTC will provide support for EDAptive in the following technical areas:
1. Lead the development of a static consistency checker for Rosetta Specifications.
ITTC will perform basic research and preliminary development of a tool for checking the consistency of Rosetta specifications. The tool will be developed by providing a mapping from Rosetta specifications parsed by the ITTC Rosetta parsers into one or more available theorem proving environments.
2. Assist in the development of Rosetta libraries in support of the REACTOR application domain.
ITTC will develop domain theories and packages to support writing and verifying specifications for advanced communications and sensor systems. This will minimally include development of an appropriate domain theory and associated packages for specifying common constraints, functions, and types.
3. Assist in the development of a Matla- based analysis tool.
Provide support in the form of Rosetta and simulation expertise for development of a Matlab-based analysis tool. Specifically, ITTC researchers will assist in the definition and development of a translation process from Rosetta to Matlab.
4. Provide support for review meetings and technical reports.
Provide inputs to support presentation of research results at review meetings and conferences. Provide inputs to required technical reports to the sponsor. Assist in the dissemination of research results to the academic and industrial communities.
For More Information: http://www.sldl.org/
Faculty Investigator(s): Perry Alexander (PI)
Primary Sponsor(s): EDAptive Computing