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

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


本文編號：3986075