信息物理融合系统导论

上篇：信息物理融合系统现状与分析第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 国外研究现状1．4．1 CPS模型1．4．2 CPS数据传输与管理技术1．4．3 CPS能源管理1．4．4 CPS安全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 白盒测试……下篇：信息物理融合系统建模与验证