嵌入式系统导论 CPS方法

不同于大多数嵌入式系统的书籍着重于计算机技术在嵌入式系统中的应用，本书的重点则是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。本书是业界第一本关于CPS(信息物理系统）的专著。CPS 将计算、网络和物理过程集成在一起，CPS的建模、设计和分析成为本书的重点。 从CPS的视角，围绕系统的建模、设计和分析这三个方面，本书分成四个大部分。建模部分包括第2章到第6章，分别讲述动态建模、离散建模和混合建模，以及状态机的并发组合与并发计算模型。设计部分强调嵌入式系统中处理器，存储结构，输入输出，多任务处理和实时调度的算法与设计，以及这些设计在CPS中的主要作用。分析部分着重于对系统特性进行精确描述、规范比较和规范与产品设计的分析方法以及嵌入式软件特性的定量分析方法。第四部分包括连个附录，提供了一些数学和计算机科学的背景知识，有助于加深对文中给出知识的理解。