MARC状态：审校 文献类型：中文图书 浏览次数：11
- 题名/责任者:
- 嵌入式系统导论:CPS方法/(美) Edward Ashford Lee, Sanjit Arunkumar Seshia著 李实英, 贺蓉, 李仁发译
- 出版发行项:
- 北京:机械工业出版社,2012
- ISBN及定价:
- 978-7-111-36021-6/CNY55.00
- 载体形态项:
- 256页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 李 (Lee, Edward Ashford) 著
- 个人责任者:
- 塞西阿 (Seshia, Sanjit Arunkumar) 著
- 个人次要责任者:
- 李实英 译
- 个人次要责任者:
- 贺蓉 译
- 个人次要责任者:
- 李仁发 译
- 学科主题:
- 微型计算机-系统设计
- 中图法分类号:
- TP360.21
- 中图法分类号:
- TP360
- 出版发行附注:
- 据2011年英文版译出
- 责任者附注:
- 责任者Lee规范汉译姓为: 李 ; 责任者Seshia汉译姓为: 塞西阿
- 书目附注:
- 有书目 (第241-256页)
- 提要文摘附注:
- 本书是一本关于CPS (Cyber-Physical System，信息物理系统）的著作。不同于大多数嵌入式系统的书籍着重于计算机技术在嵌入式系统中的应用，本书的重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。全书从CPS的视角，围绕系统的建模、设计和分析三方面，深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节。建模部分介绍如何模拟物理系统，主要关注动态行为模型，包括动态建模、离散建模和混合建模，以及状态机的并发组合与并行计算模型。设计部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPS中的主要作用。分析部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法。此外，两个附录提供了一些数学和计算机科学的背景知识，有助于加深读者对文中所给知识的理解。
全部MARC细节信息>>