嵌入式系统的方法论方面的专著，非常有价值。

本书是一本关于CPS (Cyber-Physical System，信息物理系统）的著作。不同于大多数嵌入式系统的书籍着重于计算机技术在嵌入式系统中的应用，本书的重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。

全书从CPS的视角，围绕系统的建模、设计和分析三方面，深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节。建模部分介绍如何模拟物理系统，主要关注动态行为模型，包括动态建模、离散建模和混合建模，以及状态机的并发组合与并行计算模型。设计部分强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPS中的主要作用。分析部分重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法。此外，两个附录提供了一些数学和计算机科学的背景知识，有助于加深读者对文中所给知识的理解。

文档内容节选

0 1 2 1 3 4 5 6789 A BCD D E F G H I J K G 1 J L 0 M D E NO4 PQRS TTU VWX4YOL1 9 D E Z ab c 1 C D LI cid127cid128 cid129cid130cid131 Z cid127 cid128 4 U cid143Z cid144cid145cid146cid147cid148 G97 cid146 cid160 011 6 ......