电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>电子书籍>Embedded System Design

Embedded System Design

2009-07-17 | rar | 2253 | 次下载 | 免费

资料介绍

1. INTRODUCTION 1
1.1 Terms and scope 1
1.2 Application areas 5
1.3 Growing importance of embedded systems 8
1.4 Structure of this book 9
2. SPECIFICATIONS 13
2.1 Requirements 13
2.2 Models of computation 16
2.3 StateCharts 18
2.3.1 Modeling of hierarchy 19
2.3.2 Timers 23
2.3.3 Edge labels and StateCharts semantics 24
2.3.4 Evaluation and extensions 26
2.4 General language characteristics 27
2.4.1 Synchronous and asynchronous languages 27
2.4.2 Process concepts 28
2.4.3 Synchronization and communication 28
2.4.4 Specifying timing 29
2.4.5 Using non-standard I/O devices 30
2.5 SDL 30
2.6 Petri nets 36
2.6.1 Introduction 36
2.6.2 Condition/event nets 40
2.6.3 Place/transition nets 40
2.6.4 Predicate/transition nets 42
2.6.5 Evaluation 44
2.7 Message Sequence Charts 44
2.8 UML 45
2.9 Process networks 50
2.9.1 Task graphs 50
2.9.2 Asynchronous message passing 53
2.9.3 Synchronous message passing 55
2.10 Java 58
2.11 VHDL 59
2.11.1 Introduction 59
2.11.2 Entities and architectures 60
2.11.3 Multi-valued logic and IEEE 1164 62
2.11.4 VHDL processes and simulation semantics 69
2.12 SystemC 73
2.13 Verilog and SystemVerilog 75
2.14 SpecC 76
2.15 Additional languages 77
2.16 Levels of hardware modeling 79
2.17 Language comparison 82
2.18 Dependability requirements 83
3. EMBEDDED SYSTEM HARDWARE 87
3.1 Introduction 87
3.2 Input 88
3.2.1 Sensors 88
3.2.2 Sample-and-hold circuits 90
3.2.3 A/D-converters 91
3.3 Communication 93
3.3.1 Requirements 94
3.3.2 Electrical robustness 95
3.3.3 Guaranteeing real-time behavior 96
3.3.4 Examples 97
3.4 Processing Units 98
3.4.1 Overview 98
3.4.2 Application-Specific Circuits (ASICs) 100
3.4.3 Processors 100
3.4.4 Reconfigurable Logic 115
3.5 Memories 118
3.6 Output 120
3.6.1 D/A-converters 121
3.6.2 Actuators 122
4. EMBEDDED OPERATING SYSTEMS,
MIDDLEWARE, AND SCHEDULING 125
4.1 Prediction of execution times 126
4.2 Scheduling in real-time systems 127
4.2.1 Classification of scheduling algorithms 128
4.2.2 Aperiodic scheduling 131
4.2.3 Periodic scheduling 135
4.2.4 Resource access protocols 140
4.3 Embedded operating systems 143
4.3.1 General requirements 143
4.3.2 Real-time operating systems 144
4.4 Middleware 148
4.4.1 Real-time data bases 148
4.4.2 Access to remote objects 149
5. IMPLEMENTING EMBEDDED SYSTEMS:
HARDWARE/SOFTWARE CODESIGN 151
5.1 Task level concurrency management 153
5.2 High-level optimizations 157
5.2.1 Floating-point to fixed-point conversion 157
5.2.2 Simple loop transformations 159
5.2.3 Loop tiling/blocking 160
5.2.4 Loop splitting 163
5.2.5 Array folding 165
5.3 Hardware/software partitioning 167
5.3.1 Introduction 167
5.3.2 COOL 168
5.4 Compilers for embedded systems 177
5.4.1 Introduction 177
5.4.2 Energy-aware compilation 178
5.4.3 Compilation for digital signal processors 181
5.4.4 Compilation for multimedia processors 184
5.4.5 Compilation for VLIW processors 184
5.4.6 Compilation for network processors 185
5.4.7Compiler generation, retargetable compiler
and sdesign space exploration 185
5.5 Voltage Scaling and Power Managementdesign 186
5.5.1 Dynamic Voltage Scaling 186
5.5.2 Dynamic power management (DPM) 189
5.6 Actual design flows and tools 190
5.6.1 SpecC methodology 190
5.6.2 IMEC tool flow 191
5.6.3 The COSYMA design flow 194
5.6.4 Ptolemy II 195
5.6.5 The OCTOPUS design flow 196
6. VALIDATION 199
6.1 Introduction 199
6.2 Simulation 200
6.3 Rapid Prototyping and Emulation 201
6.4 Test 201
6.4.1 Scope 201
6.4.2 Design for testability 202
6.4.3 Self-test programs 205
6.5 Fault simulation 206
6.6 Fault injection 207
6.7 Risk- and dependability analysis 207
6.8 Formal Verification 209
References 212
About the author 227
List of Figures 229
Index 236

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1电子电路原理第七版PDF电子教材免费下载
  2. 0.00 MB  |  1490次下载  |  免费
  3. 2单片机典型实例介绍
  4. 18.19 MB  |  92次下载  |  1 积分
  5. 3S7-200PLC编程实例详细资料
  6. 1.17 MB  |  27次下载  |  1 积分
  7. 4笔记本电脑主板的元件识别和讲解说明
  8. 4.28 MB  |  18次下载  |  4 积分
  9. 5开关电源原理及各功能电路详解
  10. 0.38 MB  |  10次下载  |  免费
  11. 6基于AT89C2051/4051单片机编程器的实验
  12. 0.11 MB  |  4次下载  |  免费
  13. 7蓝牙设备在嵌入式领域的广泛应用
  14. 0.63 MB  |  3次下载  |  免费
  15. 89天练会电子电路识图
  16. 5.91 MB  |  3次下载  |  免费

本月

  1. 1OrCAD10.5下载OrCAD10.5中文版软件
  2. 0.00 MB  |  234313次下载  |  免费
  3. 2PADS 9.0 2009最新版 -下载
  4. 0.00 MB  |  66304次下载  |  免费
  5. 3protel99下载protel99软件下载(中文版)
  6. 0.00 MB  |  51209次下载  |  免费
  7. 4LabView 8.0 专业版下载 (3CD完整版)
  8. 0.00 MB  |  51043次下载  |  免费
  9. 5555集成电路应用800例(新编版)
  10. 0.00 MB  |  33562次下载  |  免费
  11. 6接口电路图大全
  12. 未知  |  30320次下载  |  免费
  13. 7Multisim 10下载Multisim 10 中文版
  14. 0.00 MB  |  28588次下载  |  免费
  15. 8开关电源设计实例指南
  16. 未知  |  21539次下载  |  免费

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935053次下载  |  免费
  3. 2protel99se软件下载(可英文版转中文版)
  4. 78.1 MB  |  537791次下载  |  免费
  5. 3MATLAB 7.1 下载 (含软件介绍)
  6. 未知  |  420026次下载  |  免费
  7. 4OrCAD10.5下载OrCAD10.5中文版软件
  8. 0.00 MB  |  234313次下载  |  免费
  9. 5Altium DXP2002下载入口
  10. 未知  |  233045次下载  |  免费
  11. 6电路仿真软件multisim 10.0免费下载
  12. 340992  |  191183次下载  |  免费
  13. 7十天学会AVR单片机与C语言视频教程 下载
  14. 158M  |  183277次下载  |  免费
  15. 8proe5.0野火版下载(中文版免费下载)
  16. 未知  |  138039次下载  |  免费