嵌入式系统导论:cps方法

《嵌入式系统导论cps方法》是2012年1月1日由机械工业出版社出版的图书，作者是EdwardAshfordLee、SanjitArunkumarSeshia。

• 书名 嵌入式系统导论:cps方法
• 作者 美)Edward Ashford Lee，SanjitArunkumar Seshia
• 译者 李实英
• ISBN 9787111360216
• 页数 256

内容简介

　　本书是业界第一本来自关于CPS的专著，重点论述抗布系统模型与系统实现的关系，以及360百科软件和硬件与物理环境的相互作用。

　　从CPS的视角，围绕系统因练的建模、设计和分析这三个方面，本书分成四大部分。第一样增洲节况建比绿树编部分(第2~6章)分别讲述动态建模、离散建模和混合建模，以及状态机的并发组合与并发计算模型。第二部分(第7~11章)强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPS中的主离雨定亲读友眼据要作用。第三部分(第12~15章)重点介绍一些系统特性的精确规格、规想待格之间的比较方法、规格与产文植做威皮投农型告煤提品设计的分析方法以及嵌入式软件特性的定量分析方法。第四部分包括两个附录，提供了一些数学和计算机科学的背景知识，有助于读者加深对文中所介绍知识的守理解。本书通过大量实例深入浅出地介绍了设计和实现CPS的整体过程及各阶段的细节。

　　本书适合作为高等院校相关专业"嵌入式系统"课程的教材或教学参考书。

作者简介

　　Edward Ashford Lee 拥有加州大学伯克利分校博士学位，曾为加州大学伯克利分校电子工程与计算机科学系主任，现为该系Robert S. Pe互居即货耐职压pper特聘教授。他的主要研画越项轴矿改究方向是嵌入式与实时道听部酒血代钟否绍胞南计算系统的设计、建模和模拟。Lee教授是IEEE会员，样清坐称房少密与众缩于1997年获得工程教育领域的急再座威哪接家条击Frederick Emmo水准均队究入县曲孩医ns Terman奖。

　　Sanjit Arunkumar Seshia拥有卡内基-梅隆大学计算机科学者素专业博士学位，现为美国加州大学伯克利分校电子工程与计算机科学系副教授。他的主要研究方向是可信计袁冲肥领装预混始基算和计算逻辑。他获得了科学和工程领域的总统早期职业生涯奖(PECASE)和Alfred P. Sloan研究奖金。

目录

　　Introduction to Embedded Systems-A Cyber来自?Physical 360百科Systems

　　Approach

　　出版者的话

　　译者序

根　　前言

　　符号

　　第1章 绪论

　　1.1 应用

　　1.2 一个实例

　构术光督望案黄简思市作　1.3 设计过程

　　1.3.1 建模

　　1.3.2 设计

　　1.3.3 分析

　　1.4 小结

　　第一部分 动态行为建模

　　第2章 朝何升胞买办装连续动态