可執(zhí)行體系結(jié)構(gòu)建模與仿真驗(yàn)證在復(fù)雜大系統(tǒng)和體系的設(shè)計(jì)與構(gòu)建中起著至關(guān)重要的作用,但目前相關(guān)的概念和方法還不是很成熟,缺乏統(tǒng)一的認(rèn)識(shí)和標(biāo)準(zhǔn),針對(duì)不同的可執(zhí)行需求存在著很多不同的執(zhí)行機(jī)制和執(zhí)行環(huán)境。分析和總結(jié)了可執(zhí)行體系結(jié)構(gòu)建模的三大要素,并且比較了這些要素的可選項(xiàng),提出了一個(gè)基于Parallel Discrete Event System Specification(P-DEVS)的通用可執(zhí)行體系結(jié)構(gòu)建模與仿真方法,實(shí)現(xiàn)了從圖形化建模到仿真代碼自動(dòng)生成的全過程,結(jié)合實(shí)例介紹了所提方法在機(jī)場(chǎng)綜合信息系統(tǒng)中的應(yīng)用來(lái)證明該方法的可行性和有效性。

【文章頁(yè)數(shù)】：9 頁(yè)


本文編號(hào)：3986075