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

在審

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

本公開實施例提供了一種可調度性模型的建立方法、裝置、電子設備及存儲介質。可應用于計算機技術領域和金融服務技術領域。該方法包括：確定架構分析與設計語言模型中的模型元素和安全關鍵操作系統中的系統元素之間的映射關系；根據映射關系生成映射規則表，其中，映射規則表中包括多個映射關系；從映射規則表中記錄的架構分析與設計語言模型的模型元素中，確定用于建立可調度性模型所需要的目標模型元素；根據目標模型元素確定用于調度安全關鍵操作系統的可調度性屬性配置信息；利用預設建模方法、映射規則表和可調度性屬性配置信息，生成可調度性模型。

技術領域

本公開涉實施例涉及計算機技術領域和金融服務技術領域，更具體地，涉及一種可調度性模型的建立方法、可調度性模型生成裝置、電子設備、計算機可讀存儲介質及計算機程序產品。

背景技術

在航空航天、工業控制、公共交通和金融服務等領域對系統的可調度性、可靠性等有著嚴格的要求。如果系統功能一旦出錯，將會對人員和財產造成較大損失，此類系統一般被稱為安全關鍵系統，安全關鍵系統中的軟件被稱為安全關鍵軟件。良好的軟件質量能夠保證安全關鍵系統的正常運行，并保持較低的故障率。對于安全關鍵操作系統來說，由于其工作環境的特殊性，如果出現問題，將會對人員和財產造成不當損失。

在實現本公開構思的過程中，發明人發現相關技術中至少存在如下問題：統一建模語言(Unified Modeling Language，UML)較難描述系統的性能以及可調度性等關鍵特性。

發明內容

有鑒于此，本公開實施例提供了一種可調度性模型的建立方法、可調度性模型生成裝置、電子設備、計算機可讀存儲介質及計算機程序產品。

本公開實施例的一個方面提供了一種可調度性模型的建立方法，包括：

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

根據上述映射關系生成映射規則表，其中，上述映射規則表中包括多個上述映射關系；

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

根據上述目標模型元素確定用于調度上述安全關鍵操作系統的可調度性屬性配置信息；

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

根據本公開的實施例，上述可調度性屬性配置信息至少包括如下信息的一種：可調度屬性信息、派遣類型信息、執行時間信息、處理器信息和存儲器信息。

根據本公開的實施例，上述映射規則表中的上述映射關系包括分區映射關系、模塊映射關系、端口映射關系、線程映射關系、內存映射關系和模式映射關系；

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

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

利用上述預設建模方法、上述模式映射關系和上述端口映射關系，生成數據組件模型；

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

根據上述軟件架構模型、上述數據組件模型和上述執行平臺組件模型，生成上述可調度性模型。

根據本公開的實施例，可調度性模型的建立方法還包括：

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