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

有效

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

技術領域

本發明涉及一種基于數字化微內核的實時動態調度策略測試方法，屬于嵌入式實時操作系統微內核技術領域。

背景技術

嵌入式實時操作系統微內核技術是智能變電站自動化領域中智能設備廣為采用的關鍵技術，其內核實時動態調度策略更是其中的核心技術，內核實時動態調度策略直接影響智能設備的可靠性、實時性以及可擴展性。內核實時動態調度策略統籌管理智能設備的軟硬件，通過系統應用需求，調度、分配內核系統擁有的所有資源，實施系統的外在和內部行為。目前基于數字化微內核的應用極其復雜，在應用測試過程中，主要進行離散的功能測試，當系統出現故障時，無法判斷故障產生的原因是系統資源造成還是系統應用造成。針對目前的應用現狀，數字化微內核實時動態調度策測試方法通過系統相對精準時鐘、系統資源對象描述矩陣以及實施過程觸發控制時序，內嵌資源對象觸發代碼，實現對實時微內核調度行為的全景描述，當系統出現故障可以動態識別造成故障的原因是系統級錯誤，還是應用級錯誤。

發明內容

本發明要解決技術問題是：克服目前智能變電站自動化領域中智能設備在采用數字化微內核技術，其時間精準性和執行邏輯可靠性的保證沒有通過定量方法進行測評的缺陷，提供一種基于數字化微內核的實時動態調度測試方法，其將數字化微內核以及邏輯應用抽象為一個動態實時對象，對其資源包括系統資源以及應用資源進行統一建模，通過模型的表現行為，動態以相對時間跟蹤記錄模型中資源的實時邏輯行為，通過分析實時邏輯行為時序報告，測試其系統運行的實時性以及精準性。

為了解決以上技術問題，本發明的數字化微內核的實時動態調度策略測試方法，包括如下步驟：

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

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

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

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

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

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

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

進一步的，第七步完成之后，分析展現內核動態調度時序圖，檢驗數字化微內核實時動態調度策略邏輯的正確性以及過程邏輯的可行性，資源分配以及應用的合理性。

本發明的有益效果如下：

本發明通過對智能變電站自動化系統中智能設備的微內核進行動態跟蹤，實時記錄其動態過程，利用微內核實時動態調度策略時序過程圖分析其邏輯行為的正確性以及任務執行的實時性，定量分析微內核的調度策略以及外部事件響應的實時性，提高了系統運行的實時性以及精準性，解決了微內核系統運行異常情況下內核和應用界面不確定的問題，確保智能設備的可靠穩定運行。

附圖說明

下面結合附圖對本發明作進一步的說明。

圖1為本發明基于數字化微內核的實時動態調度策略測試方法流程圖。

圖2為本發明基于數字化微內核的實時動態調度策略測試方法的時序圖。

具體實施方式

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

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

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

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

上述第一步至第三步為初始化系統模型參數的步驟；