杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

嵌入式系统导论:CPS方法/(美) 爱德华·阿什福德·李, 桑吉特·阿伦库马尔·塞希阿著 张凯龙译

出版发行项:

北京:机械工业出版社,2018

ISBN及定价:

978-7-111-60811-0/CNY89.00

载体形态项:

xvi, 307页:图;26cm

统一题名:

Introduction to embedded systems : a cyber-physical systems approach

其它题名:

CPS方法

丛编项:

计算机科学丛书

个人责任者:

李 (Lee, Edward Ashford) 著

个人责任者:

塞希阿 (Seshia, Sanjit Arunkumar ) 著

个人次要责任者:

张凯龙 译

学科主题:

微型计算机-嵌入式系统-系统设计

中图法分类号:

TP360.21

版本附注:

据原书第2版译出

责任者附注:

爱德华·阿什福德·李 (Edward Ashford Lee)，加州大学伯克利分校电子工程与计算机科学系-EECS罗伯特·S.佩珀-Robert S. Pepper杰出教授，曾任加州大学伯克利分校电子工程-EE分部以及电子工程与计算机科学系主任。1986年获得加州大学伯克利分校电气工程与计算机科学博士学位。他是伯克利设计技术股份有限公司-BDTI的联合创始人等。

责任者附注:

桑吉特·阿伦库马尔·塞希阿 (Sanjit Arunkumar Seshia)，加州大学伯克利分校电子工程与计算机科学系教授；研究兴趣集中于可信计算、计算逻辑和形式化方法及其在嵌入式系统、计算机安全、电子设计自动化以及合成生物学等领域问题中的应用；于印度理工学院孟买分校获得计算机科学与工程学士学位于卡内基-梅隆大学-CMU获得计算机科学硕士和博士学位。他曾获美国青年科学家与工程师总统奖-PECASE、艾尔弗雷德·P.斯隆研究奖以及卡内基-梅隆大学计算机科学学院杰出学位论文奖。

书目附注:

有书目 (第292-305页)

提要文摘附注:

本书从CPS的视角，围绕嵌入式系统的建模、设计和分析三方面，深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节，重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。本书共四部分，其中第一部分着重分析了连续动态、离散动态与混合系统等模型以及状态机组合模型和并发计算模型等基础理论。第二部分聚焦于系统的设计，以理论化的方式阐述了传感器、执行器、处理器、存储器、输入与输出等硬件组件以及多任务和调度等核心软件机制。第三部分详细论述了CPS的分析与验证方法，还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。

使用对象附注:

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

豆瓣简介：