信息物理融合系統(tǒng)導(dǎo)論

上篇：信息物理融合系統(tǒng)現(xiàn)狀與分析第1章 CPS簡介1．1 CPS概述1．2 CPS與物聯(lián)網(wǎng)、嵌入式系統(tǒng)、混成系統(tǒng)1．2．1 CPS與物聯(lián)網(wǎng)1．2．2 CPs與嵌入式系統(tǒng)1．2．3 CPS與混成系統(tǒng)1．3 CPS的特點和挑戰(zhàn)1．4 國外研究現(xiàn)狀1．4．1 CPS模型1．4．2 CPS數(shù)據(jù)傳輸與管理技術(shù)1．4．3 CPS能源管理1．4．4 CPS安全1．4．5 cPS軟件設(shè)計技術(shù)的研究現(xiàn)狀1．4．6 CPS控制技術(shù)的研究現(xiàn)狀1．4．7 面向具體應(yīng)用的CPs研究現(xiàn)狀1．5 國內(nèi)研究現(xiàn)狀1．6 本章小結(jié)參考文獻(xiàn)第2章 CPS軟件開發(fā)基礎(chǔ)2．1 引言2．2 各種主流的 CPS建模方法2．2．1 基于信道和面向參與者的CPs建模2．2．2 基于模態(tài)模型CPs建模2．2．3 基于格本體的 CPS建模2．2．4 基于關(guān)聯(lián)順序的CPs建模2．3 CPS規(guī)約方法2．3．1 面向方面的規(guī)約方法2．3．2 語義時間自動機(jī)2．3．3 Hilbertean代數(shù)規(guī)約2．4 CPS系統(tǒng)集成2．4．1 CPS系統(tǒng)集成面臨問題2．4．2 CPS系統(tǒng)集成方法2．5 CPS設(shè)計和開發(fā)方法2．5．1 CPS設(shè)計的挑戰(zhàn)2．5．2 CPs設(shè)計需求2．5．3 CPS開發(fā)方法2．6 本章小結(jié)參考文獻(xiàn)第3章 CPS關(guān)鍵屬性分析3．1 CPS的安全性3．1．1 CPs安全需3．1．2 CPS安全的潛在威脅3．1．3 CPs信息安全方案的主要機(jī)制3．1．4 CPS安全性解決方案3．1．5 CPS安全關(guān)鍵技術(shù)3．2 CPS的可靠性3．2．1 可靠性的定義3．2．2 可靠性與安全性的區(qū)別3．2．3 可靠性解決方案3．3 CPS的可信性3．3．1 CPs數(shù)據(jù)的可信性3．3．2 CPS網(wǎng)絡(luò)的可信性3．3．3 CPs軟件的可信性3．3．4 CPS模塊間的可信性3．3．5 CPs中人的可信性3．3．6 CPS可信性研究的重要性3．3．7 電力 CPS的可信性3．4 本章小結(jié)參考文獻(xiàn)第4章 CPS測試與驗證4．1 白盒測試……下篇：信息物理融合系統(tǒng)建模與驗證