嵌入式系统导论:CPS方法 = Introduction to embedded systems:a cyber-physical systems approach

Saved in:
Bibliographic Details
Main Authors: (Lee, Edward Ashford) 李 (Lee, Edward Ashford) (著); (Seshia, Sanjit Arunkumar) 塞希阿 (Seshia, Sanjit Arunkumar) (著)
Group Author: 李实英 (译); 贺蓉 (译); 李仁发 (译)
Published: 机械工业出版社
Publisher Address: 北京
Publication Dates: 2012
Literature type: Book
Language: Chinese
Series: 计算机科学丛书
Subjects:
Carrier Form: 13,256页: 图 ; 26cm
ISBN: 978-7-111-36021-6
Index Number: TP360
CLC: TP360.21
Call Number: TP360.21/4040
Contents: 本书分成四大部分。第一部分分别讲述动态建模、离散建模和混合建模,以及状态机的并发组合与并发计算模型;第二部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计,以及这些设计在CPs中的主要作用;第三部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法;第四部分包括两个附录,提供了一些数学和计算机科学的背景知识,有助于读者加深对文中所介绍知识的理解。