[發明專利]一種復雜工業控制系統

在審

• 申請號: 201810770767.0
• 申請日: 2018-07-13
• 公開（公告）號: CN109143876A
• 公開（公告）日: 2019-01-04
• 發明（設計）人: 黃滟鴻;史建琦;李炬;李昂;蔡方達
• 申請（專利權）人: 華東師范大學;上海豐蕾信息科技有限公司
• 主分類號: G05B15/02
• 分類號: G05B15/02;G05B19/418
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 劉廣達

1.一種復雜工業控制系統，其特征在于，包括：

資源約束模塊，用于定義系統與物理資源的約束關系；

元模型創建模塊，用于根據所述系統的各功能，建立對應的含有事件的各元模型；

事件觸發約束模塊，用于描述所述元模型中事件的觸發條件及協同狀態；

運行時態驗證模塊，用于當滿足所述事件觸發約束模塊描述的觸發條件時，驗證對應事件的協同狀態及涉及的所述資源約束模塊定義的約束關系；

反饋模塊，用于反饋所述運行時態驗證模塊的驗證結果。

2.根據權利要求1所述的系統，其特征在于，所述資源約束模塊具體用于：采用形式化定義的方式，定義系統與物理資源的約束關系。

3.根據權利要求2所述的系統，其特征在于，所述資源約束模塊包括：第一定義子模塊、第二定義子模塊和約束子模塊；

所述第一定義子模塊，用于對系統中的物理資源進行抽象定義；

所述第二定義子模塊，用于對系統中具備處理功能的處理資源進行抽象定義；

所述約束子模塊，用于將第一定義子模塊抽象定義的物理資源指定到第二定義子模塊抽象定義的處理器上，得到系統與物理資源的約束關系。

4.根據權利要求1所述的方法，其特征在于，所述元模型創建模塊包括：建立子模塊和第三定義子模塊；

所述建立子模塊，用于針對系統的每個功能，建立對應的一個或多個事件得到事件集合，并將所述事件集合作為對應功能的元模型；

所述第三定義子模塊，用于定義所述建立子模塊建立的各元模型的統一外部接口。

5.根據權利要求4所述的系統，其特征在于，所述建立子模塊建立的各元模型之間通過所述第三定義子模塊定義的統一外部接口進行數據交互。

6.根據權利要求1所述的系統，其特征在于，所述事件觸發約束模塊包括：添加子模塊和協同管理子模塊；

所述添加子模塊，用于為所述元模型中的各事件添加觸發條件；

所述協同管理子模塊，用于管理各事件之間的通信模式、同步方式及協同方式。

7.根據權利要求1所述的系統，其特征在于，所述運行時態驗證模塊具體用于：當所述事件觸發約束模塊描述的觸發條件滿足時，采用邏輯驗證、和/或時序驗證、和/或組合驗證、和/或中斷驗證的驗證方式，驗證對應事件的協同狀態、所述協同狀態產生的遷移關系、及所述對應事件涉及的約束關系。

8.根據權利要求1所述的系統，其特征在于，所述反饋模塊還用于：當反饋的驗證結果為異常反饋序列時，根據所述異常反饋序列制定安全機制，維護系統安全。