应用在核电站DCS系统的代码自动生成工具ModelCoder
對標(biāo)航空航天領(lǐng)域,核電新型號作為典型復(fù)雜系統(tǒng)在未來的發(fā)展趨勢和任務(wù)變得十分明確,即正規(guī)化、標(biāo)準(zhǔn)化地應(yīng)用MBSE從概念設(shè)計(jì)、初步設(shè)計(jì)、持續(xù)貫穿至詳細(xì)設(shè)計(jì)、施工、調(diào)試、運(yùn)維、退役的全生命周期各階段,開發(fā)出符合核工業(yè)本身的需求(Requirement)、功能(Function)和邏輯(Logical)等系統(tǒng)模型,助力設(shè)計(jì)端的前期連續(xù)仿真與驗(yàn)證,并繼承至下游用于物理設(shè)計(jì)(Physical)、施工仿真、虛擬調(diào)試、預(yù)防性檢修等,保障系統(tǒng)全生命周期的可追溯性,同時(shí)進(jìn)化式地迭代復(fù)用。
如何實(shí)現(xiàn)基于模型的系統(tǒng)工程(MBSE)
在我國航空航天、核電站、軌道交通等安全關(guān)鍵領(lǐng)域,越來越多的基于模型的系統(tǒng)工程(MBSE)正在進(jìn)入我國的裝備制造中,使用Scade或Sumlink軟件工具來創(chuàng)建可視化的系統(tǒng)模型,用于生成可直接運(yùn)行的二進(jìn)制代碼正在成為主流的開發(fā)方法。
應(yīng)用在核電站DCS系統(tǒng)的代碼自動生成工具M(jìn)odelCoder軟件工具讓數(shù)字化轉(zhuǎn)型更容易實(shí)現(xiàn),有助于提高開發(fā)效率和成本,由迪捷軟件自主開發(fā)的ModelCoder是一款支持多種嵌入式系統(tǒng)建模并可以自動生成高安全可靠的C代碼的軟件設(shè)計(jì)和開發(fā)工具。
ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型,其從模型生成代碼的過程經(jīng)過了形式化驗(yàn)證,保證生成過程的正確無誤性,能夠用于飛機(jī)的飛控,飛機(jī)的航電,核電的DCS等多個(gè)安全關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開發(fā),應(yīng)用在核電站DCS系統(tǒng)的代碼自動生成工具M(jìn)odelCoder等MBSE軟件工具讓數(shù)字化轉(zhuǎn)型更容易實(shí)現(xiàn)。
ModelCoder的原理
代碼生成工具是編譯器的一種,是把模型語言翻譯成C語言的編譯器。代碼生成工具廣泛用于我國的航空、軌交和核電等安全關(guān)鍵領(lǐng)域。保證代碼生成工具的生成過程的安全可靠性是安全關(guān)鍵領(lǐng)域必須要面對的課題。ModelCoder采用了最嚴(yán)格的形式化技術(shù),用定理證明的方式對模型到代碼的生成過程進(jìn)行了嚴(yán)格的數(shù)學(xué)證明。和同類軟件SCADE的KCG相比,KCG只是采用了模型檢測技術(shù)對模型本身進(jìn)行了證明,而ModelCoder無疑在技術(shù)途徑上更為可靠。
ModelCoder的功能
本文標(biāo)題:應(yīng)用在核電站DCS系統(tǒng)的代碼自動生成工具M(jìn)odelCoder
文本鏈接:http://www.digiproto.com
總結(jié)
以上是生活随笔為你收集整理的应用在核电站DCS系统的代码自动生成工具ModelCoder的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: localstorage存储大小_Coo
- 下一篇: idea junit 测试看不到控制台报