Modelcoder形式化驗(yàn)證的代碼生成工具軟件是高**性嵌入式軟件的開(kāi)發(fā)標(biāo)準(zhǔn)，是SCADE軟件國(guó)產(chǎn)替代解決方案其應(yīng)用領(lǐng)域涵蓋航空、國(guó)防、軌道交通、能源和重工業(yè)。替代SCADE軟件已經(jīng)在中核、中廣核獲得應(yīng)用，效果反應(yīng)獲得用