[發(fā)明專利]可調度性模型的建立方法、裝置、電子設備及存儲介質

在審

• 申請?zhí)枺?/td>: 202110694629.0
• 申請日: 2021-06-22
• 公開（公告）號: CN113391903A
• 公開（公告）日: 2021-09-14
• 發(fā)明（設計）人: 張翔宇;陳永錄;王密
• 申請（專利權）人: 中國工商銀行股份有限公司
• 主分類號: G06F9/48
• 分類號: G06F9/48;G06F9/50;G06F30/20
• 代理公司: 中科專利商標代理有限責任公司 11021
• 代理人: 吳夢圓

1.一種可調度性模型的建立方法，包括：

確定架構分析與設計語言模型中的模型元素和安全關鍵操作系統(tǒng)中的系統(tǒng)元素之間的映射關系；

根據(jù)所述映射關系生成映射規(guī)則表，其中，所述映射規(guī)則表中包括多個所述映射關系；

從所述映射規(guī)則表中記錄的所述架構分析與設計語言模型的模型元素中，確定用于建立可調度性模型所需要的目標模型元素；

根據(jù)所述目標模型元素確定用于調度所述安全關鍵操作系統(tǒng)的可調度性屬性配置信息；以及

利用預設建模方法、所述映射規(guī)則表和所述可調度性屬性配置信息，生成所述可調度性模型。

2.根據(jù)權利要求1所述的方法，其中，所述可調度性屬性配置信息至少包括如下信息的一種：可調度屬性信息、派遣類型信息、執(zhí)行時間信息、處理器信息和存儲器信息。

3.根據(jù)權利要求2所述的方法，其中，所述映射規(guī)則表中的所述映射關系包括分區(qū)映射關系、模塊映射關系、端口映射關系、線程映射關系、內存映射關系和模式映射關系；

其中，所述利用預設建模方法、所述映射規(guī)則表和所述可調度性屬性配置信息，生成所述可調度性模型，包括：

利用所述預設建模方法、所述線程映射關系、所述端口映射關系、所述執(zhí)行時間信息、所述派遣類型信息和所述可調度屬性信息，生成軟件架構模型；

利用所述預設建模方法、所述模式映射關系和所述端口映射關系，生成數(shù)據(jù)組件模型；

利用所述預設建模方法、所述模塊映射關系、所述分區(qū)映射關系、所述內存映射關系、所述存儲器信息和所述處理器信息，生成執(zhí)行平臺組件模型；

根據(jù)所述軟件架構模型、所述數(shù)據(jù)組件模型和所述執(zhí)行平臺組件模型，生成所述可調度性模型。

4.根據(jù)權利要求1所述的方法，還包括：

獲取驗證分析工具，其中，所述驗證分析工具具有對所述可調度性模型的可調度性進行分析的功能；以及

利用所述驗證分析工具對所述可調度性模型的可調度性進行分析，得到可調度性分析結果；以及

展示所述可調度性分析結果。

5.根據(jù)權利要求1所述的方法，其中：所述系統(tǒng)元素至少包括如下元素中的一種：系統(tǒng)分區(qū)元素、系統(tǒng)模塊元素、系統(tǒng)端口元素、系統(tǒng)線程元素、系統(tǒng)內存元素和系統(tǒng)模式元素。

6.根據(jù)權利要求1所述的方法，其中：所述模型元素至少包括如下元素中的一種：處理器元素、虛擬處理器元素、組件進程元素、組件線程元素、時間數(shù)據(jù)端口元素、數(shù)據(jù)端口元素、組件內存元素。

7.一種可調度性模型生成裝置，包括：

映射模塊，用于確定架構分析與設計語言模型中的模型元素和安全關鍵操作系統(tǒng)中的系統(tǒng)元素之間的映射關系；

第一生成模塊，用于根據(jù)所述映射關系生成映射規(guī)則表，其中，所述映射規(guī)則表中包括多個所述映射關系；

第一確定模塊，用于從所述映射規(guī)則表中記錄的所述架構分析與設計語言模型的模型元素中，確定用于建立可調度性模型所需要的目標模型元素；

第二確定模塊，用于根據(jù)所述目標模型元素確定用于調度所述安全關鍵操作系統(tǒng)的可調度性屬性配置信息；以及

第二生成模塊，用于利用預設建模方法、所述映射規(guī)則表和所述可調度性屬性配置信息，生成所述可調度性模型。

8.一種電子設備，包括：

一個或多個處理器；

存儲器，用于存儲一個或多個程序，

其中，當所述一個或多個程序被所述一個或多個處理器執(zhí)行時，使得所述一個或多個處理器實現(xiàn)權利要求1～6中任一項所述的方法。

9.一種計算機可讀存儲介質，其上存儲有可執(zhí)行指令，該指令被處理器執(zhí)行時使處理器實現(xiàn)權利要求1～6中任一項所述的方法。

10.一種計算機程序產(chǎn)品，所述計算機程序產(chǎn)品包括計算機程序，所述計算機程序被處理器執(zhí)行時用于實現(xiàn)權利要求1～6中任一項所述的方法。