一種可視化顯示仿真執(zhí)行的方法及系統(tǒng)
基本信息
| 申請(qǐng)?zhí)?/td> | CN202111419488.8 | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN114090185A | 公開(kāi)（公告）日 | 2022-02-25 |
| 申請(qǐng)公布號(hào) | CN114090185A | 申請(qǐng)公布日 | 2022-02-25 |
| 分類號(hào) | G06F9/455（2006.01）I;G06F9/54（2006.01）I;G06F9/4401（2018.01）I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 劉凱越;吳偉;劉陽(yáng) | 申請(qǐng)（專利權(quán)）人 | 杭州杉石科技有限公司 |
| 代理機(jī)構(gòu) | 西安科果果知識(shí)產(chǎn)權(quán)代理事務(wù)所（普通合伙） | 代理人 | 李英俊 |
| 地址 | 311121浙江省杭州市余杭區(qū)倉(cāng)前街道龍?zhí)堵?號(hào)未來(lái)研創(chuàng)園B317 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開(kāi)了一種可視化顯示仿真執(zhí)行的方法及系統(tǒng)，模型轉(zhuǎn)換器接收SysML狀態(tài)機(jī)提供的仿真模型，以狀態(tài)圖為生成單元將仿真模型生成標(biāo)準(zhǔn)的SCXML文件；文件解析器接收SCXML文件，以供仿真引擎和實(shí)例調(diào)度器讀取；狀態(tài)機(jī)模型的仿真被發(fā)起時(shí)，通過(guò)實(shí)例調(diào)度器管理該模型所有的SCXML實(shí)例，同時(shí)事件收發(fā)器也開(kāi)始工作；動(dòng)畫(huà)顯示器通過(guò)接收到的動(dòng)作通知仿真動(dòng)畫(huà)界面進(jìn)行動(dòng)畫(huà)顯示。本發(fā)明保證了建模數(shù)據(jù)與仿真數(shù)據(jù)的一致性，實(shí)現(xiàn)系統(tǒng)設(shè)計(jì)方案可執(zhí)行模型的自動(dòng)化生成，以可視化顯示動(dòng)態(tài)場(chǎng)景，并對(duì)模型的邏輯進(jìn)行形式化的測(cè)試與驗(yàn)證；本發(fā)明對(duì)系統(tǒng)進(jìn)行直觀展示的狀況，提升和利益攸關(guān)者的溝通效率，解決了當(dāng)前SysML狀態(tài)機(jī)模型上增加仿真執(zhí)行和動(dòng)畫(huà)顯示。 |
