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