對標航空航天領域，核電新型號作為典型復雜系統在未來的發展趨勢和任務變得十分明確，即正規化、標準化地應用MBSE從概念設計、初步設計、持續貫穿至詳細設計、施工、調試、運維、退役的全生命周期各階段，開發出符合核工業本身的需求（Requirement）、功能（Function）和邏輯（Logical）等系統模型，助力設計端的前期連續仿真與驗證，并繼承至下游用于物理設計（Physical）、施工仿真、虛擬調試、預防性檢修等，保障系統全生命周期的可追溯性，同時進化式地迭代復用。

如何實現基于模型的系統工程（MBSE）

在我國航空航天、核電站、軌道交通等安全關鍵領域，越來越多的基于模型的系統工程（MBSE）正在進入我國的裝備制造中，使用Scade或Sumlink軟件工具來創建可視化的系統模型，用于生成可直接運行的二進制代碼正在成為主流的開發方法。

應用在核電站DCS系統的代碼自動生成工具ModelCoder軟件工具讓數字化轉型更容易實現，有助于提高開發效率和成本，由迪捷軟件自主開發的ModelCoder是一款支持多種嵌入式系統建模并可以自動生成高安全可靠的C代碼的軟件設計和開發工具。

ModelCoder支持同步數據流以及狀態機等嵌入式模型，其從模型生成代碼的過程經過了形式化驗證，保證生成過程的正確無誤性，能夠用于飛機的飛控，飛機的航電，核電的DCS等多個安全關鍵領域的嵌入式軟件的設計和開發，應用在核電站DCS系統的代碼自動生成工具ModelCoder等MBSE軟件工具讓數字化轉型更容易實現。

ModelCoder的原理

代碼生成工具是編譯器的一種，是把模型語言翻譯成C語言的編譯器。代碼生成工具廣泛用于我國的航空、軌交和核電等安全關鍵領域。保證代碼生成工具的生成過程的安全可靠性是安全關鍵領域必須要面對的課題。ModelCoder采用了最嚴格的形式化技術，用定理證明的方式對模型到代碼的生成過程進行了嚴格的數學證明。和同類軟件SCADE的KCG相比，KCG只是采用了模型檢測技術對模型本身進行了證明，而ModelCoder無疑在技術途徑上更為可靠。

ModelCoder的功能

軟件建模的圖形化前端；

模型的仿真運行測試模塊；

C代碼的自動生成模塊。

---

本文標題：應用在核電站DCS系統的代碼自動生成工具ModelCoder

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

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。