[發(fā)明專利]一種基于模型動態(tài)互連的仿真驗(yàn)證方法在審
| 申請?zhí)枺?/td> | 201510344492.0 | 申請日： | 2015-06-19 |
| 公開（公告）號： | CN104915507A | 公開（公告）日： | 2015-09-16 |
| 發(fā)明（設(shè)計）人： | 洪蓉;周慶 | 申請（專利權(quán)）人： | 中國航空無線電電子研究所 |
| 主分類號： | G06F17/50 | 分類號： | G06F17/50 |
| 代理公司： | 上海和躍知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 31239 | 代理人： | 楊慧 |
| 地址： | 200233 *** | 國省代碼： | 上海;31 |
| 權(quán)利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關(guān)鍵詞： | 一種 基于 模型 動態(tài) 互連 仿真 驗(yàn)證 方法 | ||
1.一種基于模型動態(tài)互連的仿真驗(yàn)證方法，包含以下步驟：
一、建立STK模型，所述STK模型定義了若干個場景，以及各個場景中各種參與者的動作；
二、建立VC工程，將STK模型作為插件植入VC工程中；
三、在Rhapsody模型中根據(jù)STK模型中描述的各個參與者的動作建立狀態(tài)圖；
四、進(jìn)行仿真實(shí)驗(yàn)，當(dāng)STK模型中的參與者的行為發(fā)生變動時發(fā)送相應(yīng)的觸發(fā)事件給Rhapsody模型的狀態(tài)圖，Rhapsody模型的狀態(tài)圖周期性接受觸發(fā)事件并進(jìn)行相應(yīng)仿真；
五、根據(jù)STK模型與Rhapsody模型中行為的一致性來對兩個模型進(jìn)行互相驗(yàn)證和互相評估。
2.根據(jù)權(quán)利要求1所述的仿真驗(yàn)證方法，其特征在于所述STK模型采用動畫描述方式描述各個場景以及各場景中各種參與者的動作。
3.根據(jù)權(quán)利要求1所述的仿真驗(yàn)證方法，其特征在于所述步驟四中，STK模型通過網(wǎng)絡(luò)傳輸U(kuò)DP協(xié)議向Rhapsody模型發(fā)送觸發(fā)事件，Rhapsody模型通過網(wǎng)絡(luò)傳輸U(kuò)DP協(xié)議接收觸發(fā)事件。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于中國航空無線電電子研究所，未經(jīng)中國航空無線電電子研究所許可，擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201510344492.0/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
- 動態(tài)矢量譯碼方法和動態(tài)矢量譯碼裝置
- 動態(tài)口令的顯示方法及動態(tài)令牌
- 動態(tài)庫管理方法和裝置
- 動態(tài)令牌的身份認(rèn)證方法及裝置
- 令牌、動態(tài)口令生成方法、動態(tài)口令認(rèn)證方法及系統(tǒng)
- 一種動態(tài)模糊控制系統(tǒng)
- 一種基于動態(tài)信號的POS機(jī)和安全保護(hù)方法
- 圖像動態(tài)展示的方法、裝置、系統(tǒng)及介質(zhì)
- 一種基于POS機(jī)聚合碼功能分離顯示動態(tài)聚合碼的系統(tǒng)
- 基于動態(tài)口令的身份認(rèn)證方法、裝置和動態(tài)令牌
