《信息物理融合系统导论》从信息物理融合系统的建模和验证两个方面着手，系统全面地介绍了信息物理融合系统开发和使用过程的基础知识和基本原理，介绍了如何利用微分动态逻辑进行信息物理融合系统建模与验证的基本理论和方法。全书共分12章，其中，第1～6章是关于信息物理融合系统基本知识简介，包括基本概念、基本原理、典型案例和存在问题分析等；第7章讨论了信息物理融合系统一般的建模和验证思路，以及常用的建模和验证方法；第8～11重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化的微分动态逻辑进行信息物理融合系统的建模和验证问题；第12章为工作的总结与展望。

　　《信息物理融合系统导论》：
　　这种测试工作主要是确保CPS网络的正常工作，包括网络通信的能耗、速度、效率、容错、安全性和网络的入侵防御能力等。CPS网络往往是无线网络，涉及专用的传输协议，根据能耗和对传输效率、容错能力的要求，CPS网络本身也是CPS协同工作的关键问题，因此存在很多专门面向网络进行的测试研究。这些测试包括面向安全的各类入侵检测以及针对网络传输性能、产生的能耗、传输速率、稳定性和延迟特性所做的性能和功能测试。在网络通信中存在着大量的连通路径，这些路径代表了节点间可能的信息交互方向，对于每条路径上产生的数据量也可以由实验和预测方法得出——对系统中这些数据和控制流路径的充分测试可以验证网络是否能够符合设计要求。这种充分测试包括传输效率、容错能力、网络稳定性等。而由于无线网络的频段在物理空间中具有开放性，入侵检测对安全性确保十分重要。入侵检测需要考虑网络中节点的构成和可能破坏CPS功能的方法，这些方法依赖于CPS网络结构、节点结构以及软硬件部署方式，这类白盒测试的方法也被称为人侵测试中的白盒测试方法。除此以外，在CPS网络构成可能比较复杂，不仅涉及网络本身，更涉及网络通信过程相关的软件和硬件，在目前已知的面向CPS网络测试中没有相应的白盒测试研究工作在进行。
　　……

《信息科学技术学术著作丛书》序
前言
上篇 信息物理融合系统现状与分析
第1章 CPS简介
1.1 CPS概述
1.2 CPS与物联网、嵌入式系统、混成系统
1.2.1 CPS与物联网
1.2.2 CPS与嵌入式系统
1.2.3 CPS与混成系统
1.3 CPS的特点和挑战
1.4 国外研究现状
4.1 CPS模型
1.4.2 CPS数据传输与管理技术
1.4.3 CPS能源管理
1.4 4CPS安全
1.4.5 CPS软件设计技术的研究现状
1.4.6 CPS控制技术的研究现状
1.4.7 面向具体应用的CPS研究现状
1.5 国内研究现状
1.6 本章小结
参考义献
第2章 CPS软件开发基础
2.1 引言
2.2 各种主流的CPS建模方法
2.2.1 基于信道和面向参与者的CPS建模
2.2.2 基于模态模型CPS建模
2.2.3 基于格本体的CPS建模
2.2.4 基于关联顺序的CPS建模
2.3 CPS规约方法
2.3.1 面向方面的规约方法
2.3.2 语义时间自动机
2.3.3 Hilbertean代数规约
2.4 CPS系统集成
2.4.1 CPS系统集成面临问题
2.4.2 CPS系统集成方法
2.5 CPS设计和开发方法
2.5.1 CPS设计的挑战
2.5.2 CPS设计需求
2.5.3 CPS开发方法
2.6 本章小结
参考文献
第3章 CPS关键属性分析
3.1 CPS的安全性
3.1.1 CPS安全需求
3.1.2 CPS安全的潜在威胁
3.1.3 CPS信息安全方案的主要机制
3.1.4 CPS安全性解决方案
3.1.5 CPS安全关键技术
3.2 CPS的可靠性
3.2.1 可靠性的定义
3.2.2 可靠性与安全性的区别
3.2.3 可靠性解决方案
3.3 CPS的可信性
3.3.1 CPS数据的可信性
3.3.2 CPS网络的可信性
3.3.3 CPS软件的可信性
3.3.4 CPS模块间的可信性
3.3.5 CPS中人的可信性
3.3.6 CPS可信性研究的重要性
3.3.7 电力CPS的可信性
3.4 本章小结
参考文献
第4章 CPS测试与验证
4.1 白盒测试
4.1.1 面向CPS硬件的白盒测试
4.1.2 面向CPS软件的白盒测试
4.1.3 面向CPS网络的白盒测试
4.1.4 面向CPS系统的白盒测试
4.2 黑盒测试
4.2.1 计算机系统测试
4.2.2 嵌入式系统测试
4.2.3 物联网和无线感知设备测试
4.2.4 实时性测试
4.2.5 CPS测试技术的现状
4.2.6 CPS测试技术面临的困难
4.3 CPS验证
4.3.1 验证的必要性
4.3.2 验证方法概述
4.3.3 验证模型
4.3.4 定理证明
4.3.5 模型检验
4.3.6 验证工具
4.4 本章小结
参考义献
第5章 CPS典型案例分析
5.1 智能交通系统
5.1.1 体系结构
5.1.2 智能交通CPS的主要构成
5.1.3 智能交通所涉及的关键技术
5.1.4 智能交通应用
5.1.5 面临的挑战
5.2 自丰驾驶汽车
5.2.1 汽车CPS原理介绍
5.2.2 汽车CPS的实现
5.2.3 汽车CPS架构与应用
5.2.4 汽车远程信息服务系统
5.2.5 汽车导航
5.2.6 汽车安全系统
5.3 高速铁路安全监控系统
5.3.1 系统需完成的相关工作
5.3.2 系统的体系结构
5.3.3 安全监控系统的关键技术
5.3.4 未来的研究方向
5.4 智能电网
5.4.1 智能电网的产生背景
5.4.2 智能电网的含义
5.4.3 智能电网的特点与目标
5.4.4 智能电网的研究现状
5.4.5 智能电网的关键技术
5.5 智慧医疗
5.5.1 智慧医疗的现有基础架构
5.5.2 CPS推动医疗服务智能化
5.5.3 智慧医疗案例
5.6 本章小结
参考文献
第6章 CPs主要问题浅析
6.1 CPS信息流问题
6.1.1 信息流
6.1.2 CPS信息流的特殊性
6.1.3 CPS信息流模型
6.1.4 CPS中的信息流
6.1.5 信息流安全验证方法
6.2 离散和连续问题
6.3 时间同步问题
6.4 抽象体系问题
6.5 环境感知
6.6 多源、异构、海量数据的传输与处理
6.7 CPS的可验证性
6.8 软件工程方面
6.9 系统的安全性及可预测性
6.1 0其他问题
6.1 1本章小结
参考文献
……

下篇 信息物理融合系统建模与验证
附录 缩略词表