Persistent Link:
http://hdl.handle.net/10150/289712
Title:
Model-based codesign for real-time embedded systems
Author:
Schulz, Stephan
Issue Date:
2001
Publisher:
The University of Arizona.
Rights:
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
Abstract:
This dissertation presents a model-based codesign framework for real-time embedded systems applications. The presented research provides a theoretical modeling foundation for the construction of design models and their implementation. Whereas most current codesign approaches leverage from a complete specification of an application design at the implementation level, a completely modular, implementation independent system level specification is pursued here. Benefits of the approach presented include: a stepwise refinement of abstract design models for complex applications, a larger design space for possible application implementations, a late design partitioning into hardware and software components, the representation of concurrency inherent to the application, as well as an implementations thereof on a parallel processing platform. A formal abstraction for a general, system level specification of real-time embedded systems is derived which may be used with a variety of executable discrete event modeling specifications. Furthermore, the construction of abstract design models from textual system specifications is discussed based on this abstraction as well as their correct refinement. A set of analysis methods which evaluate system simulation results is introduced to validate and improve abstracted design model performance during each refinement step. A direct transition from the design model to an efficient implementation is addressed though a model compilation algorithm which validates alternative processing platforms for a detailed design model specification against real-time constraints. In addition, a formal mapping of system model component specifications to implementation specifications is given. Separately, this model continuity problem is also addressed through a definition of a multi-level approach to the testing of integrated application implementation prototypes. The presented model-based codesign concepts are illustrated with an embedded systems application example.
Type:
text; Dissertation-Reproduction (electronic)
Keywords:
Engineering, Electronics and Electrical.; Computer Science.
Degree Name:
Ph.D.
Degree Level:
doctoral
Degree Program:
Graduate College; Electrical and Computer Engineering
Degree Grantor:
University of Arizona
Advisor:
Rozenblit, Jerzy W.

Full metadata record

DC FieldValue Language
dc.language.isoen_USen_US
dc.titleModel-based codesign for real-time embedded systemsen_US
dc.creatorSchulz, Stephanen_US
dc.contributor.authorSchulz, Stephanen_US
dc.date.issued2001en_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.description.abstractThis dissertation presents a model-based codesign framework for real-time embedded systems applications. The presented research provides a theoretical modeling foundation for the construction of design models and their implementation. Whereas most current codesign approaches leverage from a complete specification of an application design at the implementation level, a completely modular, implementation independent system level specification is pursued here. Benefits of the approach presented include: a stepwise refinement of abstract design models for complex applications, a larger design space for possible application implementations, a late design partitioning into hardware and software components, the representation of concurrency inherent to the application, as well as an implementations thereof on a parallel processing platform. A formal abstraction for a general, system level specification of real-time embedded systems is derived which may be used with a variety of executable discrete event modeling specifications. Furthermore, the construction of abstract design models from textual system specifications is discussed based on this abstraction as well as their correct refinement. A set of analysis methods which evaluate system simulation results is introduced to validate and improve abstracted design model performance during each refinement step. A direct transition from the design model to an efficient implementation is addressed though a model compilation algorithm which validates alternative processing platforms for a detailed design model specification against real-time constraints. In addition, a formal mapping of system model component specifications to implementation specifications is given. Separately, this model continuity problem is also addressed through a definition of a multi-level approach to the testing of integrated application implementation prototypes. The presented model-based codesign concepts are illustrated with an embedded systems application example.en_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
dc.subjectEngineering, Electronics and Electrical.en_US
dc.subjectComputer Science.en_US
thesis.degree.namePh.D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.disciplineElectrical and Computer Engineeringen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.advisorRozenblit, Jerzy W.en_US
dc.identifier.proquest3002539en_US
dc.identifier.bibrecord.b41434225en_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.