[發(fā)明專(zhuān)利]一種機(jī)載分區(qū)操作系統(tǒng)仿真器運(yùn)行時(shí)監(jiān)控方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201711416088.5
• 申請(qǐng)日: 2017-12-26
• 公開(kāi)（公告）號(hào): CN109960623B
• 公開(kāi)（公告）日: 2022-09-20
• 發(fā)明（設(shè)計(jì)）人: 牟明;崔西寧;戴小氐;陳福;郝玉鍇;吳姣
• 申請(qǐng)（專(zhuān)利權(quán)）人: 中國(guó)航空工業(yè)集團(tuán)公司西安航空計(jì)算技術(shù)研究所
• 主分類(lèi)號(hào): G06F11/30
• 分類(lèi)號(hào): G06F11/30;G06F11/36
• 代理公司: 中國(guó)航空專(zhuān)利中心 11008
• 代理人: 杜永保

1.一種機(jī)載分區(qū)操作系統(tǒng)仿真器運(yùn)行時(shí)監(jiān)控方法，其特征在于：包括以下步驟；

步驟一 內(nèi)嵌軟件傳感器代碼插入：根據(jù)對(duì)機(jī)載操作系統(tǒng)仿真器代碼的分析，機(jī)載操作系統(tǒng)仿真器符合ARINC653標(biāo)準(zhǔn)，找到任務(wù)狀態(tài)切換代碼；在這些任務(wù)狀態(tài)切換代碼中插入內(nèi)嵌軟件傳感器代碼；

步驟二 狀態(tài)事件序列推理及記錄：以機(jī)載分區(qū)操作系統(tǒng)規(guī)范ARINC653-Part1中對(duì)任務(wù)狀態(tài)切換的觸發(fā)事件的描述為依據(jù)，根據(jù)狀態(tài)的切換以及機(jī)載操作系統(tǒng)仿真器的代碼對(duì)觸發(fā)狀態(tài)轉(zhuǎn)換的事件進(jìn)行推理，推理邏輯用代碼實(shí)現(xiàn)；然后將狀態(tài)和事件組合成正確的序列，記錄在臨時(shí)緩存中；

步驟三 狀態(tài)事件序列發(fā)送：將狀態(tài)事件序列編碼為位段，采用異步方式，通過(guò)Windows的管道機(jī)制將狀態(tài)事件序列發(fā)送到外部監(jiān)控顯示與記錄模塊；

步驟四 狀態(tài)事件序列顯示與保存：根據(jù)狀態(tài)事件編碼規(guī)則，將狀態(tài)事件序列解析并以狀態(tài)轉(zhuǎn)換圖的形式直觀地顯示在監(jiān)控界面上，同時(shí)按照狀態(tài)事件的交替序列的形式保存到文本文件中。

2.根據(jù)權(quán)利要求1所述的一種機(jī)載分區(qū)操作系統(tǒng)仿真器運(yùn)行時(shí)監(jiān)控方法，其特征在于：所述機(jī)載操作系統(tǒng)仿真器代碼，采用狀態(tài)傳感器代碼記錄分區(qū)內(nèi)任務(wù)的狀態(tài)切換，并用事件傳感器代碼記錄觸發(fā)本此狀態(tài)切換的事件。

3.根據(jù)權(quán)利要求1所述的一種機(jī)載分區(qū)操作系統(tǒng)仿真器運(yùn)行時(shí)監(jiān)控方法，其特征在于：所訴監(jiān)控的代碼執(zhí)行時(shí)間在20us以下。