ITTC Project


System Level Design of Embedded Systems

Project Award Date: 08-15-2002



Description

As embedded systems become increasingly complex, their design exhibits properties from traditional system-level design. System-level design is characterized by the need to include information from multiple domains when making design decisions.

Components from heterogeneous design domains must be integrated into the system and multiple design domains must be considered when assessing correctness. Analog, digital, MEMs and optics represent only a few of the domains where embedded systems components originate. Function, energy consumption, and safety represent domains of interest for systems analysis.

Heterogeneity complicates design analysis because information from different domains may be defined using different underlying semantics. To understand how heterogeneous models of components and systems aspects affect each other, information must be moved between semantic domains.

As a part of ongoing Rosetta language semantics efforts, we have developed techniques for performing such analysis that can be brought to bear on embedded systems design.
This research program will develop and demonstrate capabilities that analyze the complex interactions between heterogeneous, embedded system component domains.

The research plan involves three major objectives:
1. Develop domain models for embedded system requirements domains
2. Develop semantics for combining heterogeneous requirements domains
3. Develop techniques for predictive analysis of composed
specifications

Project researchers will evaluate their results on challenge problems emerging from ongoing ITTC projects including the NSF/DARPA-funded Ambient Computing Environment (ACE) research program. Research results will be integrated into the Rosetta systems level design language and semantics to facilitate technology transfer. For more information on Rosetta, please see the projects Web site at http://www.sldl.org/.



Investigators

Faculty Investigator(s): Perry Alexander (PI)

Student Investigator(s): Garrin Kimmell, Justin Ward


Project Sponsors


Primary Sponsor(s): NSF


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.