為了提高核安全級(jí)DCS系統(tǒng)控制算法的設(shè)計(jì)效率和打破關(guān)鍵建模軟件完全依賴國(guó)外進(jìn)口的局面,基于對(duì)圖形化建模技術(shù)和形式化驗(yàn)證技術(shù)的研究,提出了一種集圖形化建模和可信代碼自動(dòng)生成于一體的核安全級(jí)DCS系統(tǒng)控制算法的開發(fā)方法,將極大地提高核安全級(jí)DCS系統(tǒng)控制算法開發(fā)效率。主要介紹了圖形化建模軟件、XML文件數(shù)據(jù)提取方法和可信代碼生成軟件的設(shè)計(jì),將這些軟件集成后,為核安全級(jí)DCS系統(tǒng)控制算法開發(fā),提供了一套由模型驅(qū)動(dòng)代碼自動(dòng)生成的解決方案。 

【文章來(lái)源】：儀器儀表用戶. 2020,27(11)

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

【文章目錄】：
0 引言
1 圖形化建模軟件
    1.1 設(shè)備建模
    1.2 變量建模
    1.3 算法建模
2 XML文件數(shù)據(jù)提取
3 可信代碼自動(dòng)生成軟件設(shè)計(jì)
4 軟件集成使用
5 結(jié)束語(yǔ)


【參考文獻(xiàn)】：
期刊論文
[1]基于SCADE的嵌入式軟件開發(fā)[J]. 劉晶晶,劉增明.  微處理機(jī). 2013(01)



本文編號(hào)：3644060