信息物理融合系统导论
出版时间：2014年版
丛编项： 信息科学技术学术著作丛书
内容简介
下一代工业将建立在CPS之上，随着CPS技术的发展和普及，使用网络实现功能扩展的自动化设备无处不在，并将推动工业产品和技术的升级换代，极大地提高汽车、航空航天、国防、工业自动化、健康/医疗设备、重大基础设施等主要工业领域的竞争力。本书通过较为全面的介绍CPS理论和技术发展，为CPS在自动化装备的发展提供了一些借鉴和经验。本书可供从事UHFRFID空中接口技术研究设计、工程应用的人员参考。
目录
上篇：信息物理融合系统现状与分析第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 白盒测试……下篇：信息物理融合系统建模与验证
