嵌入式系统设计
2013-3
机械工业出版社
Marwedel Peter
何宗彬
《国际信息工程先进技术译丛•嵌入式系统设计:嵌入式信息物理系统基础(原书第2版)》针对近年来电子与通信技术的发展对嵌入式系统的需求，从总体上介绍了嵌入式系统的设计模式与方法，从系统的规范与建模、嵌入式硬件、嵌入式操作系统、系统的评估与验证、应用程序的实现与优化等方面，对信息—物理系统的嵌入式设计进行了讲述。透过《国际信息工程先进技术译丛•嵌入式系统设计:嵌入式信息物理系统基础(原书第2版)》，读者可以学习到更多关于嵌入式领域的前沿知识与设计方法，也可以进一步巩固嵌入式系统知识。《国际信息工程先进技术译丛•嵌入式系统设计:嵌入式信息物理系统基础(原书第2版)》对工程实践也有着较强的指导意义。
《国际信息工程先进技术译丛•嵌入式系统设计:嵌入式信息物理系统基础(原书第2版)》可以作为工程师的嵌入式学习资料，也可以作为本科、硕士和研究人员的参考书，对当前的课程教学能起到很好的补充作用。
译者序关于作者原书前言原书致谢第1章简介1.1应用领域与实例1.2共同特征1.3嵌入式系统设计的挑战1.4设计流程1.5本书的结构1.6思考题第2章规范与建模2.1需求2.2计算模型2.3早期设计阶段2.3.1用例2.3.2（消息）序列图2.4通信有限状态机2.4.1时间自动机2.4.2状态图：隐性共享内存通信2.4.3同步语言2.4.4SDL：消息传递的场景2.5数据流2.5.1范围2.5.2Kahn处理网络2.5.3同步数据流2.5.4Simulink2.6Petri网2.6.1简介2.6.2条件/事件网2.6.3库所/变迁网2.6.4预测/变迁网2.6.5评估2.7基于离散事件的语言2.7.1VHDL2.7.2SystemC2.7.3Verilog与SystemVerilog2.7.4SpecC2.8冯•诺依曼语言2.8.1CSP2.8.2ADA2.8.3Java2.8.4Pearl与Chill2.8.5通信库目录2.9硬件建模的层次2.10计算模型的比较2.10.1比较的标准2.10.2UML2.10.3Ptolemy Ⅱ2.11思考题第3章嵌入式系统硬件3.1简介3.2输入3.2.1传感器3.2.2离散系统：采样保持电路3.2.3数值离散化：AD转换器3.3处理单元3.3.1概述3.3.2ASIC3.3.3处理器3.3.4可编程序逻辑3.4内存3.5通信3.5.1需求3.5.2电气健壮性3.5.3实时性的保证3.5.4例子3.6输出3.6.1DA转换器3.6.2采样定理3.6.3执行器3.7安全硬件3.8思考题第4章系统软件4.1嵌入式操作系统4.1.1总体需求4.1.2实时操作系统4.1.3虚拟机4.1.4资源访问协议4.2ERIKA4.3硬件抽象层4.4中间件4.4.1OSEK/VDXCOM4.4.2CORBA4.4.3MPI4.4.4POSIX线程（Pthreads）4.4.5OpenMP4.4.6UPnP、DPWS和JXTA4.5实时数据库4.6思考题第5章评估和验证5.1简介5.1.1范围5.1.2多目标优化5.1.3相关目标5.2性能评估5.2.1早期阶段5.2.2WCET估算5.2.3实时微积分学5.3资源与功耗模型5.4热模型5.5风险及可靠性分析5.6仿真5.7快速原型及仿真5.8形式验证5.9思考题第6章应用程序映射6.1问题定义6.2实时系统中的调度6.2.1调度算法分类6.2.2没有优先级约束的非周期性调度6.2.3有优先级约束的非周期性调度6.2.4没有优先级约束的周期调度6.2.5有优先约束的周期调度6.2.6零散事件6.3硬件/软件分割6.3.1简介6.3.2COOL6.4映射至异构多处理器6.5思考题第7章优化7.1任务级并发性管理7.2上层优化7.2.1浮点至定点转换7.2.2简单循环转换7.2.3循环分块7.2.4循环分割7.2.5数组折叠7.3用于嵌入式系统的编译器7.3.1简介7.3.2高效节能编译7.3.3基于内存架构的编译7.3.4调和编译器以及时序分析7.3.5DSP编译7.3.6多媒体处理器的编译7.3.7用于VLIW处理器的编译器7.3.8用于网络处理器的编译器7.3.9编译器的产生、重定向以及设计空间的研究7.4电源管理以及温度管理7.4.1动态电压调节7.4.2动态电源管理7.5思考题第8章测试8.1总览8.2测试过程8.2.1门级别测试用例生成8.2.2自测程序8.3测试模式集的评估以及系统的鲁棒性8.3.1故障覆盖率8.3.2故障仿真8.3.3故障输入8.4可测试性设计8.4.1动机8.4.2扫描设计8.4.3特征分析8.4.4伪随机测试模式生成8.4.5内置逻辑块观测目录ⅩⅦ8.5思考题附录附录A整数线性规划附录B基尔霍夫定律与运算放大器参考文献
