嵌入式系统导论:CPS方法 = Introduction to embedded systems:a cyber-physical systems approach
Saved in:
Main Authors: | ; |
---|---|
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中的主要作用;第三部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法;第四部分包括两个附录,提供了一些数学和计算机科学的背景知识,有助于读者加深对文中所介绍知识的理解。 |