|
题名:
|
嵌入式系统导论 kan ru shi xi tong dao lun / (美) 爱德华·阿什福德·李, 桑吉特·阿伦库马尔·塞希阿著 , 张凯龙译 |
|
ISBN:
|
978-7-111-60811-0 价格： CNY89.00 |
|
语种:
|
chi |
|
载体形态:
|
307页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2018 |
|
内容提要:
|
本书从CPS的视角, 围绕嵌入式系统的建模、设计和分析三方面, 深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节, 重点是论述系统模型与系统实现的关系, 以及软件和硬件与物理环境的相互作用。本书共四部分, 其中第一部分着重分析了连续动态、离散动态与混合系统等模型以及状态机组合模型和并发计算模型等基础理论。第二部分聚焦于系统的设计, 以理论化的方式阐述了传感器、执行器、处理器、存储器、输入与输出等硬件组件以及多任务和调度等核心软件机制。第三部分详细论述了CPS的分析与验证方法, 还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。 |
|
主题词:
|
微型计算机 系统设计 |
|
中图分类法:
|
TP360.21 版次： 5 |
|
其它题名:
|
CPS方法 |
|
主要责任者:
|
李 li 著 |
|
主要责任者:
|
塞希阿 sai xi a 著 |
|
次要责任者:
|
张凯龙 zhang kai long 译 |
|
责任者附注:
|
爱德华·阿什福德·李 (Edward Ashford Lee), 加州大学伯克利分校电子工程与计算机科学系罗伯特·S. 佩珀杰出教授。桑吉特·阿伦库马尔·塞希阿 (Sanjit Arunkumar Seshia), 加州大学伯克利分校电子工程与计算机科学系教授。张凯龙, 博士、博士后 (法国), 西北工业大学计算机学院副教授。 |