[發明專利]基于數字化微內核的實時動態調度策略測試方法

有效

• 申請號: 201010287941.X
• 申請日: 2010-09-21
• 公開（公告）號: CN101944063A
• 公開（公告）日: 2011-01-12
• 發明（設計）人: 馬新平;江平;戴志強;鄧路
• 申請（專利權）人: 南京中德保護控制系統有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;H02J13/00
• 代理公司: 南京蘇科專利代理有限責任公司 32102
• 代理人: 牛莉莉

1.數字化微內核的實時動態調度策略測試方法，包括如下步驟：

第一步、根據數字化微內核運行資源分配狀態，抽取系統級資源配置參數，包括：系統任務數目、系統任務優先級、系統信號量、消息隊列運行模式及其配置信息，建立系統級資源時序分析矩陣；

第二步、根據數字化智能設備應用特性及抽象應用資源的分配狀態，抽取應用資源配置參數，包括：系統應用任務數目、應用任務優先級、應用系統信號量、消息隊列運行模式及其配置信息，建立應用任務級資源時序分析矩陣；

第三步、根據系統級資源配置參數、應用資源配置參數以及應用觸發條件，建立數字化微內核行為模型；

第四步、根據數字化微內核行為模型，建立數字化微內核調度時序相對時鐘；統一抽象動態時序跟蹤點，生成動態時序邏輯描述對象，建立動態跟蹤對象監視模型；

第五步、根據動態對象監視模型，設置動態跟蹤對象輸入矩陣、動態跟蹤對象輸出矩陣；

第六步、根據在線監測情況，啟動動態跟蹤對象觸發條件，所述觸發條件包含有：數字化微內核實時動態調度策略約束條件、邊界條件、時序配合條件以及時間精準條件；

第七步數字化微內核根據各種觸發條件執行實時動態調度，根據預置調度策略生成過程時序圖以及生成動態對象集合記錄。

2.根據權利要求1所述的基于數字化微內核的實時動態調度策略測試方法，其特征是：第七步完成之后，分析展現內核動態調度時序圖，檢驗數字化微內核實時動態調度策略邏輯的正確性以及過程邏輯的可行性，資源分配以及應用的合理性。