發(fā)布時(shí)間: 2020.05.15 點(diǎn)擊:5126 次
引言傳統(tǒng)系統(tǒng)工程過程中,各專業(yè)學(xué)科獨(dú)立利用不同粒度模型和仿真工具對(duì)系統(tǒng)總體設(shè)計(jì)方案進(jìn)行驗(yàn)證。但是對(duì)系統(tǒng)工程整體而言,對(duì)系統(tǒng)運(yùn)行邏輯、狀態(tài)的描述主要采用文本描述方式,無法早期對(duì)系統(tǒng)整體方案進(jìn)行驗(yàn)證。系統(tǒng)...