一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)的制作方法
【專利說明】一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng) 【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及多任務(wù)系統(tǒng)的時(shí)間分配符合性檢測工具，特別是指基于ARINC653規(guī) 范的分區(qū)和應(yīng)用時(shí)間窗符合性檢測工具。 【【背景技術(shù)】】
[0002] ARINC 653規(guī)范定義了多任務(wù)系統(tǒng)使用同一個(gè)物理終端（處理計(jì)算機(jī)）資源的分 配規(guī)則。圖1給出了相應(yīng)的數(shù)據(jù)結(jié)構(gòu)定義方式
[0003] 在IMA系統(tǒng)的設(shè)計(jì)和綜合驗(yàn)證階段，根據(jù)RTCA/DO 297的職責(zé)定義，往往存在多輪 資源分配與協(xié)調(diào)的過程，這在像IMA這種復(fù)雜架構(gòu)下，修改會給系統(tǒng)的實(shí)現(xiàn)與驗(yàn)證帶來復(fù) 雜性，同時(shí)，如果在設(shè)計(jì)的初期，沒有進(jìn)行時(shí)間符合性的分析和檢查，也會造成成本的增加 和周期的增長。
[0004] 國外的IMA設(shè)計(jì)工具很多都包含了 IMA時(shí)間一致性和符合性的檢查功能，比如 GESmith的ACT工具。但是，其功能基本上都是封閉且與系統(tǒng)設(shè)計(jì)流程相關(guān)的。本文旨在采 用一種公開的規(guī)范，通過自定義的規(guī)則建立不同等級（錯(cuò)誤，告警）和顏色的檢查結(jié)果。為 系統(tǒng)設(shè)計(jì)和綜合人員提供自動化的測試比對工具，從而既可以減少人工檢驗(yàn)時(shí)的錯(cuò)誤，也 可以減輕人工檢查時(shí)的工作量壓力。
[0005] XSD是一種XML的語法，規(guī)定了 XML文件各個(gè)節(jié)點(diǎn)的屬性組成和結(jié)構(gòu)關(guān)系。同時(shí)， 其規(guī)定的屬性組成也可以成為程序設(shè)計(jì)中的數(shù)據(jù)結(jié)構(gòu)定義依據(jù)。采用符合XSD的XML進(jìn)行 定義也是ARINC 653規(guī)范推薦的系統(tǒng)設(shè)計(jì)方式。同時(shí)，該設(shè)計(jì)方式也在符合ARINC 653規(guī) 范的操作系統(tǒng)實(shí)現(xiàn)中得到了應(yīng)用。 【
【發(fā)明內(nèi)容】
】
[0006] 本發(fā)明的目的在于提供一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，用以提高檢測的 效率和準(zhǔn)確度，也為系統(tǒng)綜合測試提供依據(jù)。同時(shí)，通過可視化和多色彩的結(jié)果顯示，也提 高了航空電子綜合分析結(jié)果的可讀性與可視性。
[0007] 本發(fā)明的發(fā)明目的通過以下技術(shù)方案實(shí)現(xiàn)
[0008] -種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，基于ARINC 653規(guī)范，包含分區(qū)策略配 置文件、應(yīng)用配置策略文件、分區(qū)時(shí)間符合性檢測模塊、應(yīng)用時(shí)間符合性檢測模塊、分區(qū)時(shí) 間調(diào)度策略顯示模塊、時(shí)間符合性檢測信息顯示模塊，其特征在于：
[0009] 所述分區(qū)策略配置文件用于定義各分區(qū)的起始時(shí)間和終止時(shí)間，以及各分區(qū)運(yùn)行 時(shí)的屬性數(shù)據(jù)；
[0010] 所述應(yīng)用配置策略文件用于定于每個(gè)分區(qū)中各應(yīng)用的起始時(shí)間和終止時(shí)間，以及 應(yīng)用運(yùn)行時(shí)的屬性數(shù)據(jù)；
[0011] 所述分區(qū)時(shí)間符合性檢測模塊用于對分區(qū)策略配置文件中定義的分區(qū)時(shí)間分配 進(jìn)行檢查；
[0012] 所述應(yīng)用時(shí)間符合性檢測模塊用于對應(yīng)用配置策略文件定義的應(yīng)用時(shí)間分配進(jìn) 行檢查；
[0013] 所述分區(qū)時(shí)間調(diào)度策略顯示模塊用于通過不同顏色和寬度的圖形顯示分區(qū)調(diào)度 的順序和執(zhí)行時(shí)間；
[0014] 所述時(shí)間符合性檢測信息顯示模塊用于通過不同顏色字體給出應(yīng)用檢查結(jié)果信 息以及檢查結(jié)果統(tǒng)計(jì)信息。
[0015] 依據(jù)上述特征，所述各分區(qū)運(yùn)行時(shí)的屬性數(shù)據(jù)包含分區(qū)所需的存儲資源、計(jì)算資 源、分區(qū)之間或者分區(qū)對其它模塊的通信接口。
[0016] 依據(jù)上述特征，所述應(yīng)用運(yùn)行時(shí)的屬性數(shù)據(jù)包含應(yīng)用所需的存儲資源、計(jì)算資源、 應(yīng)用對外的通信接口。
[0017] 依據(jù)上述特征，所述分區(qū)策略配置文件、應(yīng)用配置策略文件采用符合ARINC653規(guī) 范的XML語言編寫。
[0018] 依據(jù)上述特征，所述分區(qū)時(shí)間符合性檢測模塊對分區(qū)策略配置文件進(jìn)行檢測的內(nèi) 容包含：根據(jù)分區(qū)策略配置文件中定義的各分區(qū)的起始時(shí)間和終止時(shí)間檢測各分區(qū)是否在 起始時(shí)間和終止時(shí)間上有重疊或者沖突現(xiàn)象；通過每個(gè)分區(qū)的起始時(shí)間和終止時(shí)間計(jì)算出 分區(qū)的運(yùn)行周期，查看分區(qū)的運(yùn)行周期是否與應(yīng)用配置策略文件中的定義一致；檢查分區(qū) 策略配置文件中的定義是否正確。
[0019] 依據(jù)上述特征，所述應(yīng)用時(shí)間符合性檢測模塊對應(yīng)用配置策略文件的檢測包含： 根據(jù)應(yīng)用配置策略文件定義的應(yīng)用的起始時(shí)間和終止時(shí)間檢查各應(yīng)用在分區(qū)周期內(nèi)應(yīng)用 的運(yùn)行周期，執(zhí)行時(shí)間是否正確；多個(gè)應(yīng)用的執(zhí)行時(shí)間是否有沖突，執(zhí)行時(shí)間配置是否與應(yīng) 用配置策略文件定義的應(yīng)用執(zhí)行周期一致。
[0020] 依據(jù)上述特征，所述分區(qū)時(shí)間符合性檢測模塊、應(yīng)用時(shí)間符合性檢測模塊對檢測 結(jié)果按照級別分為"Warning"和"Error"。
[0021] 與現(xiàn)有技術(shù)相比較，本發(fā)明依據(jù)ARINC 653定義的分區(qū)屬性定義規(guī)范，對IMA系統(tǒng) 的分區(qū)和應(yīng)用的時(shí)間符合性進(jìn)行檢測，然后利用圖形和文本的方式，對于分區(qū)時(shí)間分配的 信息進(jìn)行顯示。
[0022] 此外，本發(fā)明還提供了多種顏色和級別的檢查不符合性顯示結(jié)果。提高了識別的 可讀性和可視性。本發(fā)明通過提出分區(qū)時(shí)間符合性檢測流程和應(yīng)用時(shí)間符合性檢測流程， 對符合ARINC 653規(guī)范的分區(qū)分配策略進(jìn)行自動檢測，并給出結(jié)果和統(tǒng)計(jì)信息。提高了航 空電子綜合分析結(jié)果的可讀性與可視性。提高了復(fù)雜系統(tǒng)分配的時(shí)間符合性檢查效率和準(zhǔn) 確率。降低人工檢查成本，也降低了 IM系統(tǒng)設(shè)計(jì)和集成時(shí)的時(shí)間分配檢測難度。 【【附圖說明】】
[0023] 圖1為ARINC 653規(guī)范規(guī)定的數(shù)據(jù)結(jié)構(gòu)定義方式
[0024] 圖2為本發(fā)明一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)的結(jié)構(gòu)示意圖；
[0025] 圖3為本發(fā)明中分區(qū)符合性檢測模塊的檢測流程圖；
[0026] 圖4為本發(fā)明中應(yīng)用時(shí)間符合性檢測模塊的檢測流程圖；
[0027] 圖5為本發(fā)明中分區(qū)調(diào)度策略顯示模塊的顯示示意圖；
[0028] 圖6為本發(fā)明中時(shí)間符合性檢測信息顯示模塊。 【【具體實(shí)施方式】】
[0029] 請參閱圖2所示，為實(shí)施本發(fā)明的基于ARINC 653規(guī)范的一種分區(qū)和應(yīng)用時(shí)間窗 符合性檢測系統(tǒng)的結(jié)構(gòu)示意圖，該系統(tǒng)主要包括分區(qū)策略配置文件、應(yīng)用配置策略文件、分 區(qū)符合性檢測模塊，應(yīng)用時(shí)間符合性檢測模塊，分區(qū)調(diào)度策略顯示模塊，時(shí)間符合性檢測信 息顯示模塊。以下對各個(gè)模塊的功能進(jìn)行詳細(xì)說明。
[0030] 分區(qū)策略配置文件定義分區(qū)和分區(qū)所需的存儲資源（內(nèi)存，堆棧等）、計(jì)算資源 (在多長周期內(nèi)能夠獲取多少CPU使用時(shí)間），通信資源（分區(qū)對外（其它分區(qū)或者其它模 塊）的通信接口）等運(yùn)行時(shí)的屬性數(shù)據(jù)一一這些屬性數(shù)據(jù)可以約束或者限制分區(qū)的資源使 用情況。
[0031] 應(yīng)用配置策略文件用于定義應(yīng)用所需的存儲資源（內(nèi)存，堆棧等）、計(jì)算資源（在 多長周期內(nèi)能夠獲取多少CPU使用時(shí)間），通信資源（應(yīng)用對外的通信接口）等運(yùn)行時(shí)的屬 性數(shù)據(jù)一一這些屬性數(shù)據(jù)可以約束或者限制應(yīng)用的資源使用情況。
[0032] 注：一個(gè)終端上可以有多個(gè)分區(qū)，一個(gè)分區(qū)上可以有多個(gè)應(yīng)用。
[0033] 分區(qū)策略配置文件、應(yīng)用配置策略文件均采用符合ARINC 653規(guī)范定義的XML文 件，文件語法如下所示：
[0034]
【主權(quán)項(xiàng)】
1. 一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，基于ARINC 653規(guī)范，包含分區(qū)策略配置 文件、應(yīng)用配置策略文件、分區(qū)時(shí)間符合性檢測模塊、應(yīng)用時(shí)間符合性檢測模塊、分區(qū)時(shí)間 調(diào)度策略顯示模塊、時(shí)間符合性檢測信息顯示模塊，其特征在于： 所述分區(qū)策略配置文件用于定義各分區(qū)的起始時(shí)間和終止時(shí)間，以及各分區(qū)運(yùn)行時(shí)的 屬性數(shù)據(jù)； 所述應(yīng)用配置策略文件用于定于每個(gè)分區(qū)中各應(yīng)用的起始時(shí)間和終止時(shí)間，以及應(yīng)用 運(yùn)行時(shí)的屬性數(shù)據(jù)； 所述分區(qū)時(shí)間符合性檢測模塊用于對分區(qū)策略配置文件中定義的分區(qū)時(shí)間分配進(jìn)行 檢查； 所述應(yīng)用時(shí)間符合性檢測模塊用于對應(yīng)用配置策略文件定義的應(yīng)用時(shí)間分配進(jìn)行檢 查； 所述分區(qū)時(shí)間調(diào)度策略顯示模塊用于通過不同顏色和寬度的圖形顯示分區(qū)調(diào)度的順 序和執(zhí)行時(shí)間； 所述時(shí)間符合性檢測信息顯示模塊用于通過不同顏色字體給出應(yīng)用檢查結(jié)果信息以 及檢查結(jié)果統(tǒng)計(jì)信息。
2. 根據(jù)權(quán)利要求1所述的一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，其特征在于所述各 分區(qū)運(yùn)行時(shí)的屬性數(shù)據(jù)包含分區(qū)所需的存儲資源、計(jì)算資源、分區(qū)之間或者分區(qū)對其它模 塊的通信接口。
3. 根據(jù)權(quán)利要求1所述的一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，其特征在于所述應(yīng) 用運(yùn)行時(shí)的屬性數(shù)據(jù)包含應(yīng)用所需的存儲資源、計(jì)算資源、應(yīng)用對外的通信接口。
4. 根據(jù)權(quán)利要求1所述的一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，其特征在于所述分 區(qū)策略配置文件、應(yīng)用配置策略文件采用符合ARINC 653規(guī)范的XML語言編寫。
5. 根據(jù)權(quán)利要求1所述的一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，其特征在于所述分 區(qū)時(shí)間符合性檢測模塊對分區(qū)策略配置文件進(jìn)行檢測的內(nèi)容包含：根據(jù)分區(qū)策略配置文件 中定義的各分區(qū)的起始時(shí)間和終止時(shí)間檢測各分區(qū)是否在起始時(shí)間和終止時(shí)間上有重疊 或者沖突現(xiàn)象；通過每個(gè)分區(qū)的起始時(shí)間和終止時(shí)間計(jì)算出分區(qū)的運(yùn)行周期，查看分區(qū)的 運(yùn)行周期是否與應(yīng)用配置策略文件中的定義一致；檢查分區(qū)策略配置文件中的定義是否正 確。
6. 根據(jù)權(quán)利要求1所述的一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，其特征在于所述應(yīng) 用時(shí)間符合性檢測模塊對應(yīng)用配置策略文件的檢測包含：根據(jù)應(yīng)用配置策略文件定義的應(yīng) 用的起始時(shí)間和終止時(shí)間檢查各應(yīng)用在分區(qū)周期內(nèi)應(yīng)用的運(yùn)行周期，執(zhí)行時(shí)間是否正確； 多個(gè)應(yīng)用的執(zhí)行時(shí)間是否有沖突，執(zhí)行時(shí)間配置是否與應(yīng)用配置策略文件定義的應(yīng)用執(zhí)行 周期一致。
7. 根據(jù)權(quán)利要求1所述的一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，其特征在于所述分 區(qū)時(shí)間符合性檢測模塊、應(yīng)用時(shí)間符合性檢測模塊對檢測結(jié)果按照級別分為"Warning"和 "Error "。
【專利摘要】本發(fā)明一種分區(qū)和應(yīng)用時(shí)間窗符合性檢測系統(tǒng)，包含分區(qū)策略配置文件、應(yīng)用配置策略文件、分區(qū)時(shí)間符合性檢測模塊、應(yīng)用時(shí)間符合性檢測模塊、分區(qū)時(shí)間調(diào)度策略顯示模塊、時(shí)間符合性檢測信息顯示模塊，所述分區(qū)策略配置文件用于定義各分區(qū)的起始時(shí)間和終止時(shí)間；所述應(yīng)用配置策略文件用于定于每個(gè)分區(qū)中各應(yīng)用的起始時(shí)間和終止時(shí)間；所述分區(qū)時(shí)間符合性檢測模塊用于對分區(qū)策略配置文件中定義的分區(qū)時(shí)間分配進(jìn)行檢查；所述應(yīng)用時(shí)間符合性檢測模塊用于對應(yīng)用配置策略文件定義的應(yīng)用時(shí)間分配進(jìn)行檢查；所述分區(qū)時(shí)間調(diào)度策略顯示模塊、時(shí)間符合性檢測信息顯示模塊用于顯示檢查結(jié)果。本發(fā)明能提高檢測的效率和準(zhǔn)確度，也為系統(tǒng)綜合測試提供依據(jù)。
【IPC分類】G06F9-50
【公開號】CN104834567
【申請?zhí)枴緾N201510171295
【發(fā)明人】張國全, 徐萬萌, 黃暉
【申請人】中國航空無線電電子研究所
【公開日】2015年8月12日
【申請日】2015年4月13日