基于時空Petri網的CPS建模與驗證研究.pdf

1、信息物理融合系統(Cyber Physical System, CPS)是一種融合計算系統、物理環(huán)境、網絡環(huán)境的多維復雜系統。CPS通過3C操作的有機融合與深度協作，精確控制物理環(huán)境中的物理實體協同工作，實現物理環(huán)境的實時感知和動態(tài)控制。CPS實現了計算、通信與控制的一體化，與傳統嵌入式系統相比更加可靠、高效，并且提升協同計算處理能力，具有廣泛的應用前景，是未來嵌入式系統的發(fā)展方向。
　　然而，CPS在具備以上優(yōu)點的同時，也面臨巨

2、大難題。由于CPS是多個異構子系統通過網絡相融合的大型、異構、分布式實時反饋系統，系統復雜度遠超一般信息系統，同時CPS又引入了改變物理環(huán)境的控制系統，這些都給開發(fā)帶來巨大困難。尋找一種適用于CPS的開發(fā)方法是目前國內外關于CPS的重要研究方向之一。
　　時間Petri網作為分布式、并行以及實時系統建模與分析的一種重要形式化工具，為CPS建模提供了堅實基礎。然而時間Petri網缺乏空間信息描述能力，因此無法完全對于CPS進行建模。

3、本文的主要目標便是針對這個缺陷拓展時間Petri網，構造能夠描述CPS物理實體位置變遷的時空Petri網。本文首先對CPS的物理層面特點進行詳細分析，從物理實體的分類與特征兩方面著手，深入研究CPS物理實體的屬性及其位置變遷過程，提出一種CPS物理實體的形式化建模方法；其次，通過分析時空Petri網必須滿足的特性，在時間Petri網基礎上引入空間因素，得到時空Petri網的形式化定義，使其不僅能夠描述物理實體邏輯及時間層次的行為，而且能