当前位置:首页 > 工业技术
嵌入式系统的设计及应用
嵌入式系统的设计及应用

嵌入式系统的设计及应用PDF电子书下载

工业技术

  • 电子书积分:9 积分如何计算积分?
  • 作 者:张海涛著
  • 出 版 社:北京:科学出版社
  • 出版年份:2007
  • ISBN:7030195388
  • 页数:162 页
图书介绍:本书重点在于介绍嵌入式系统的特定化,以及由嵌入式设备组成的复杂网络系统的设计。在介绍了嵌入式系统的定义、发展史、组成及特定化后,根据作者多年从事嵌入式系统设计的经验,从原理上重点讲解了复杂的网络系统的组成部分:嵌入式操作系统,嵌入式处理器,各种网络通信协议,可编程逻辑器件等等。嵌入式系统大多都是多任务的实时系统,调度算法对保证系统的正确性起着重要的作用。本书随后就单处理器组成的嵌入式系统和多处理器组成的分布式嵌入式系统,介绍了各种经典的调度算法。然后,详细介绍了基于裕度的调度算法,该算法是一种启发式的静态调度算法,结合了优先级抢先和不可抢先的优点,适合于复杂的多速率任务图。随后介绍了两种软硬件协调设计的方法:基于SOPC的嵌入式系统设计方法和基于Petri网的嵌入式系统设计方法,以及两种方法的最新研究成果。最后结合OSGi和agent技术,給出了智能家居系统的设计构架。
《嵌入式系统的设计及应用》目录

第1章 嵌入式系统基本理论 1

1.1 嵌入式系统的定义 1

1.2 嵌入式系统的发展史 2

1.3 嵌入式系统的基本组成 5

1.4 嵌入式实时操作系统 7

1.5 嵌入式处理器 14

1.6 嵌入式系统的通信结构 22

1.7 传统的嵌入式系统的设计方法论 25

1.8 本书结构安排 27

第2章 嵌入式系统的实时调度算法 29

2.1 实时系统简介 29

2.2 实时调度算法 29

2.3 扩展的两种调度算法 35

2.4 基于裕度的列表调度算法 38

2.5 本章小结 47

第3章 基于SoPC的嵌入式系统的设计 48

3.1 SoC和SoPC技术 48

3.2 设计流程 54

3.3 本章小结 57

第4章 一种扩展的时间Petri网模型 58

4.1 基于形式语言的嵌入式系统设计方法论 58

4.2 形式语言 59

4.3 Petri网建模 64

4.4 RBTPN模型 72

4.5 本章小结 81

第5章 基于RBTPN模型的调度分析 82

5.1 可达图分析 82

5.2 调度分析 98

5.3 基于可达图的调度分析 108

5.4 调度序列的分解和合并 118

5.5 调度序列的时间限制 124

5.6 实时系统的静态校验 126

5.7 同现有调度模型的比较 128

5.8 本章小结 134

第6章 智能家居系统 135

6.1 智能家居概述 135

6.2 相关技术 137

6.3 智能家居系统 148

6.4 本章小结 157

参考文献 158

返回顶部