ITTC Project

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:


Faculty Investigator(s): Perry Alexander (PI)

Project Sponsors

Primary Sponsor(s): EDAptive Computing

Partner with ITTC

The Information and Telecommunication Technology Center at the University of Kansas has developed several assistance policies that enhance interactions between the Center and local, Kansas, or national companies. 

ITTC assistance includes initial free consulting (normally one to five hours). If additional support is needed, ITTC will offer one of the following approaches: 

Sponsored Research Agreement

Individuals and organizations can enter into agreements with KUCR/ITTC and provide funds for sponsored research to be performed at ITTC with the assistance of faculty, staff and students.

Licensing and Royalty/Equity Agreement

An ITTC goal is the development of investment-grade technologies for transfer to, and marketing by, local, Kansas, and national businesses. To enhance this process, the Center has developed flexible policies that allow for licensing, royalty, and equity arrangements to meet both the needs of ITTC and the company.

Commercialization Development

Companies with a technology need that can be satisfied with ITTC's resources can look to us for assistance. We can develop a relationship with interested partners that will provide for the development of a technology suited for commercialization.

ITTC Resource Access

ITTC resources, including computers and software systems, may be made available to Kansas companies in accordance with the Center's mission and applicable Regents and University policies.

ITTC Calendar
There are no upcoming events at this time.