對標(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的功能

軟件建模的圖形化前端；

模型的仿真運(yùn)行測試模塊；

C代碼的自動生成模塊。

---

本文標(biāo)題：應(yīng)用在核電站DCS系統(tǒng)的代碼自動生成工具M(jìn)odelCoder

文本鏈接：http://www.digiproto.com

總結(jié)

以上是生活随笔為你收集整理的应用在核电站DCS系统的代码自动生成工具ModelCoder的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。