出版時(shí)間:2007-8 出版社:科學(xué) 作者:張海濤 頁數(shù):162
內(nèi)容概要
本書重點(diǎn)介紹由嵌入式處理器組成的復(fù)雜分布式系統(tǒng)設(shè)計(jì)的一些最新研究成果。在闡述了嵌入式系統(tǒng)的定義、發(fā)展史、組成、特定化以及基本理論后,詳細(xì)討論了基于裕度的調(diào)度算法,該算法是一種啟發(fā)式的靜態(tài)調(diào)度算法,結(jié)合了優(yōu)先級(jí)搶先和不可搶先的優(yōu)點(diǎn),適合于復(fù)雜的多速率任務(wù)圖。隨后介紹了基于SOPC的嵌入式系統(tǒng)設(shè)計(jì)方法,并重點(diǎn)討論了基于Petri網(wǎng)的嵌入式系統(tǒng)設(shè)計(jì)方法的最新研究成果。最后將agent技術(shù)和各種網(wǎng)絡(luò)技術(shù)結(jié)合,給出了由信息家電組成智能家居系統(tǒng)的理論框架。 本書可作為從事嵌入式系統(tǒng)研究的科研人員的參考書。
書籍目錄
前言第1章 嵌入式系統(tǒng)基本理論 1.1 嵌入式系統(tǒng)的定義 1.2 嵌入式系統(tǒng)的發(fā)展史 1.3 嵌入式系統(tǒng)的基本組成 1.4 嵌入式實(shí)時(shí)操作系統(tǒng) 1.5 嵌入式處理器 1.6 嵌入式系統(tǒng)的通信結(jié)構(gòu) 1.7 傳統(tǒng)的嵌入式系統(tǒng)的設(shè)計(jì)方法論 1.8 本書結(jié)構(gòu)安排第2章 嵌入式系統(tǒng)的實(shí)時(shí)調(diào)度算法 2.1 實(shí)時(shí)系統(tǒng)簡(jiǎn)介 2.2 實(shí)時(shí)調(diào)度算法 2.3 擴(kuò)展的兩種調(diào)度算法 2.4 基于裕度的列表調(diào)度算法 2.5 本章小結(jié)第3章 基于soPc的嵌入式系統(tǒng)的設(shè)計(jì) 3.1 SoC和soPc技術(shù) 3.2 設(shè)計(jì)流程 3.3 本章小結(jié)第4章 一種擴(kuò)展的時(shí)間Petri網(wǎng)模型 4.1 基于形式語言的嵌入式系統(tǒng)設(shè)計(jì)方法論 4.2 形式語言 4.3 Petri網(wǎng)建模 4.4 RBTPN模型 4.5 本章小結(jié)第5章 基于RBTPN模型的調(diào)度分析 5.1 可達(dá)圖分析 5.2 調(diào)度分析 5.3 基于可達(dá)圖的調(diào)度分析 5.4 調(diào)度序列的分解和合并 5.5 調(diào)度序列的時(shí)間限制 5.6 實(shí)時(shí)系統(tǒng)的靜態(tài)校驗(yàn) 5.7 同現(xiàn)有調(diào)度模型的比較 5.8 本章小結(jié)第6章 智能家居系統(tǒng) 6.1 智能家居概述 6.2 相關(guān)技術(shù) 6.3 智能家居系統(tǒng) 6.4 本章小結(jié)參考文獻(xiàn)
圖書封面
評(píng)論、評(píng)分、閱讀與下載
嵌入式系統(tǒng)的設(shè)計(jì)及應(yīng)用 PDF格式下載