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 project’s 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
