[發明專利]一種異構的多平臺系統控制邏輯一致性校驗的方法

有效

• 申請號: 201711319925.2
• 申請日: 2017-12-12
• 公開（公告）號: CN107885504B
• 公開（公告）日: 2021-01-12
• 發明（設計）人: 周立東;李維;王沿海;耿哲;魏瑩;盧丹
• 申請（專利權）人: 北京四方繼保自動化股份有限公司
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京智繪未來專利代理事務所(普通合伙) 11689
• 代理人: 張紅蓮

1.一種異構的多平臺系統控制邏輯一致性校驗的方法，首先用戶使用基于IEC-61131-3標準邏輯組態語言編寫邏輯頁，然后由編寫的邏輯頁組成完整的控制邏輯，最后控制邏輯經過編譯生成不同CPU架構下的控制邏輯二進制文件；其特征在于，所述控制邏輯一致性校驗的方法包括以下步驟：

(1)根據控制邏輯生成部分選擇的CPU架構定義中間符號集，中間符號集中的符號應能滿足所選的多個CPU架構的控制邏輯二進制指令解析，中間符號集是一組與平臺架構無關的符號的集合，中間符號集中的符號對不同CPU架構下的控制邏輯二進制指令提供一種統一的描述方法，控制邏輯二進制文件中的控制邏輯二進制指令最終被中間符號替換，變為統一的可讀性更強的文件；

(2)控制邏輯二進制指令識別，讀取控制邏輯二進制文件獲取架構信息，確定文件中的二進制數據屬于何種CPU架構，根據不同平臺的機器指令的編碼規則對控制邏輯二進制文件中的控制邏輯二進制指令進行解碼，并根據對應CPU架構下的控制邏輯二進制指令描述方法生成控制邏輯操作碼文件；

(3)讀取步驟(2)中生成的控制邏輯操作碼文件，使用步驟(1)中定義的中間符號集中的符號對文件中的操作碼進行等效替換，從而生成中間符號文件；

(4)在經過步驟(3)之后，不同CPU架構下的控制邏輯二進制文件被等效生成了中間符號文件，此時通過對比中間符號文件的方法來對控制邏輯一致性進行對比，最終確定不同CPU架構下的控制邏輯是否一致。

2.根據權利要求1所述的控制邏輯一致性校驗的方法，其特征在于：

在所述步驟(1)中，中間符號集具有以下特征：

中間符號集中包含解析控制邏輯操作碼文件所需要的基本中間符號；中間符號集中的中間符號含義唯一。

3.根據權利要求1所述的控制邏輯一致性校驗的方法，其特征在于：

在所述步驟(1)中，中間符號集應至少包含如下符號：加、減、乘、除、與、或、非、左移、右移、賦值、入棧、出棧、條件判斷、分支跳轉、函數調用。

4.根據權利要求2所述的控制邏輯一致性校驗的方法，其特征在于：

中間符號由一個或一組機器指令操作碼組成，同一中間符號在不同的CPU架構下對應不同的操作碼。

5.根據權利要求1所述的控制邏輯一致性校驗的方法，其特征在于：

在所述步驟(2)中，包括以下操作：

2.1根據機器指令的編碼規則對控制邏輯二進制指令進行解碼，獲取指令的操作碼；

2.2針對控制邏輯二進制文件重復過程2.1，將獲取的操作碼保存成控制邏輯操作碼文件。

6.根據權利要求5所述的控制邏輯一致性校驗的方法，其特征在于：

控制邏輯二進制指令解碼是指根據CPU架構官方文檔中描述的控制邏輯二進制指令組成規則對控制邏輯二進制指令進行解析，最終解析出操作碼、源操作數、目標操作信息。

7.根據權利要求1所述的控制邏輯一致性校驗的方法，其特征在于：

在所述步驟(3)中，采用以下操作：

將步驟(2)中生成的控制邏輯操作碼文件中的操作碼與中間符號集中的符號對應的操作碼進行匹配，將匹配成功的中間符號寫入中間符號文件。

8.根據權利要求7所述的控制邏輯一致性校驗的方法，其特征在于：

中間符號文件是一種文本文件。

9.根據權利要求8所述的控制邏輯一致性校驗的方法，其特征在于：

中間符號文件由一組中間符號組成。

10.根據權利要求1所述的控制邏輯一致性校驗的方法，其特征在于：

在所述步驟(4)中，采用以下操作：

將不同架構CPU下生成的中間符號文件同時打開，逐個字節的進行比較，如其中任意兩個字節不同則認為邏輯不一致。