基于混成自動(dòng)機(jī)的CPS構(gòu)件服務(wù)組合建模與驗(yàn)證.pdf

1、信息-物理融合系統(tǒng)(Cyber-Physical System，CPS)是一種包含了嵌入式、控制、通信以及海量數(shù)據(jù)處理等技術(shù)的復(fù)雜的網(wǎng)絡(luò)化嵌入式系統(tǒng)，它和物聯(lián)網(wǎng)被認(rèn)為是信息產(chǎn)業(yè)未來的發(fā)展方向。CPS被廣泛應(yīng)用在安全攸關(guān)領(lǐng)域，這些領(lǐng)域?qū)ο到y(tǒng)可靠性具有極高的要求，因此如何保障CPS的可靠性成為一個(gè)研究熱點(diǎn)。
　　形式化方法是提高系統(tǒng)可靠性的一種有效方法，主要包括形式化建模與形式化驗(yàn)證兩方面。由于CPS是復(fù)雜的系統(tǒng)，對(duì)其整體建模與驗(yàn)證會(huì)

2、非常困難，針對(duì)這一問題，本文采用組合建模與驗(yàn)證的思路，首先將CPS分解為原子構(gòu)件，再將其提供的服務(wù)建立為原子構(gòu)件服務(wù)模型，然后驗(yàn)證原子構(gòu)件服務(wù)模型的相關(guān)性質(zhì)，最后建立組合服務(wù)模型并對(duì)其性質(zhì)進(jìn)行驗(yàn)證。
　　根據(jù)上述思路，本文主要工作包括以下三個(gè)方面:(1)分析CPS的相關(guān)性質(zhì)，基于混成自動(dòng)機(jī)建立CPS原子構(gòu)件服務(wù)模型，并分析其相關(guān)性質(zhì);(2)在CPS原子構(gòu)件服務(wù)模型的基礎(chǔ)之上，建立其組合服務(wù)模型;(3)對(duì)組合服務(wù)模型的同步/異步通信