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

Online Public Access Catalogue

题名/责任者:

嵌入式系统导论:CPS方法/(美) Edward Ashford Lee, Sanjit Arunkumar Seshia著 李实英, 贺蓉, 李仁发译

出版发行项:

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

ISBN及定价:

978-7-111-36021-6/CNY55.00

载体形态项:

XIII, 256页:图;26cm

统一题名:

Introduction to embedded systems: a cyber-physical systems approach

丛编项:

计算机科学丛书

个人责任者:

李 (Lee, Edward Ashford) 著

个人责任者:

塞希阿 (Seshia, Sanjit Arunkumar) 著

个人次要责任者:

李实英 译

个人次要责任者:

贺蓉 译

个人次要责任者:

李仁发 译

学科主题:

微型计算机-系统设计

中图法分类号:

TP360.21

责任者附注:

Lee规范汉译姓: 李 Seshia规范汉译姓: 塞希阿

书目附注:

有书目 (第241-256页)

提要文摘附注:

本书分成四大部分, 第一部分分别讲述动态建模、离散建模和混合建模, 以及状态机的并发组合与并发计算模型。第二部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计。第三部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品的分析方法以及嵌入式软件特性的定量分析方法。第四部分包括两个附录, 提供了一些数学和计算机科学的背景知识。

豆瓣简介：