東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Responsible frameworks for heterogen...

Liu, Jie.

FindBook

Google Book

Amazon

博客來

Responsible frameworks for heterogeneous modeling and design of embedded systems.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Responsible frameworks for heterogeneous modeling and design of embedded systems./
作者:	Liu, Jie.
面頁冊數:	161 p.
附註:	Source: Dissertation Abstracts International, Volume: 63-02, Section: B, page: 0944.
Contained By:	Dissertation Abstracts International63-02B.
標題:	Engineering, Electronics and Electrical. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3044567
ISBN:	0493584420

Responsible frameworks for heterogeneous modeling and design of embedded systems.
Liu, Jie.

Responsible frameworks for heterogeneous modeling and design of embedded systems. - 161 p.

Source: Dissertation Abstracts International, Volume: 63-02, Section: B, page: 0944.

Thesis (Ph.D.)--University of California, Berkeley, 2001.

This dissertation studies modeling and design frameworks for heterogeneous embedded systems. Heterogeneity, in the sense that components in a system have diverse interaction styles, complicates embedded system design and challenges understandability, composability, and scalability of models. Hierarchical heterogeneous modeling approaches tame the design complexity by hierarchically composing semantically different modeling frameworks. Frameworks are software architectures that define component ontology and interaction styles. Formal frameworks for embedded software make programming models and software architectures reusable.

ISBN: 0493584420Subjects--Topical Terms:

626636
Engineering, Electronics and Electrical.

Responsible frameworks for heterogeneous modeling and design of embedded systems.
LDR:03227nmm 2200301 4500 001 1855370
005 20040610114129.5
008 130614s2001 eng d
020 $a 0493584420
035 $a (UnM)AAI3044567
035 $a AAI3044567
040 $a UnM $c UnM
100 1 $a Liu, Jie. $3 1026842
245 1 0 $a Responsible frameworks for heterogeneous modeling and design of embedded systems.
300 $a 161 p.
500 $a Source: Dissertation Abstracts International, Volume: 63-02, Section: B, page: 0944.
500 $a Chair: Edward A. Lee.
502 $a Thesis (Ph.D.)--University of California, Berkeley, 2001.
520 $a This dissertation studies modeling and design frameworks for heterogeneous embedded systems. Heterogeneity, in the sense that components in a system have diverse interaction styles, complicates embedded system design and challenges understandability, composability, and scalability of models. Hierarchical heterogeneous modeling approaches tame the design complexity by hierarchically composing semantically different modeling frameworks. Frameworks are software architectures that define component ontology and interaction styles. Formal frameworks for embedded software make programming models and software architectures reusable.
520 $a Embedded systems that engage the real world need to be reactive. This dissertation focuses on studying reactivity and its composition in different to capture interactions among components and frameworks. Within a framework, a component execution is a precise reaction if all the prerequisites for the reaction are satisfied before it is being triggered. A framework that only triggers precise reactions is a responsible framework. Precise reactions and responsible frameworks allow us to capture compositionality of reactions, answering questions such as how a composition of a framework and components can be treated as an atomic component at a higher level. This compositionality is key for hierarchically composing heterogeneous models.
520 $a Precise reactions and responsible frameworks are discussed for timed models. Having a notion of time helps designers define timely reactions. But it also brings challenges to timed frameworks to precisely determine the triggering time. In terms of modeling mixed-signal and hybrid systems, the challenge is how to precisely control the progression of modeling time. We present techniques for a responsible continuous-time framework to have compositional precise reactivity. These techniques involve optimistic look-ahead execution and possible rollback.
520 $a We further study precise reaction and responsible frameworks for priority-based run-time embedded software. A timed multitasking (TM) model of computation is proposed for programming reactive real-time embedded software. This model brings time determinism to the programming model level. We sketch a responsible run-time system that preserves the timing semantics of TM models.
590 $a School code: 0028.
650 4 $a Engineering, Electronics and Electrical. $3 626636
690 $a 0544
710 2 0 $a University of California, Berkeley. $3 687832
773 0 $t Dissertation Abstracts International $g 63-02B.
790 1 0 $a Lee, Edward A., $e advisor
790 $a 0028
791 $a Ph.D.
792 $a 2001
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3044567