我們一直致力于提供給航空航天制造商一套全數字的MBSE建模與仿真優化解決方案——基于模型的系統工程MBSE軟件工具（ModelCoder）。我們的仿真驗證技術可用于開發高復雜度和高保真度的模型，對飛機發動機，飛機的飛控進行預測性的虛擬驗證和測試。我們能夠準確地進行全數字仿真并驗證。經過不斷的迭代，我們可以很好的將新方法與舊方法結合，創建一套全新的流程，提供比以往更好的服務。

ModelCoder簡介

國產自主可控的形式化驗證代碼自動生成工具ModelCoder可替代Matlab/Sumlink軟件工具是一款支持多種嵌入式系統建模并可以代碼自動生成高安全可靠的C代碼的軟件設計和開發工具。ModelCoder支持同步數據流以及狀態機等嵌入式模型，其從模型生成代碼的過程經過了形式化驗證，保證生成過程的正確無誤性，能夠用飛控，航電，核電DCS等多個安全關鍵領域的嵌入式軟件的設計和開發。

ModelCoder的3大功能
1. 仿真測試
2. 生成C代碼
3. 模型搭建

Modelcoder的優勢
1. 代碼生成全過程經過形式化驗證，安全可靠
2. 圖形化方式建模，更直觀
3. 國產處理器和國產操作系統的支持

國產可替代Sumlink的ModelCoder

基于模型的系統工程(MBSE)作為未來工業研發數字化的重要發展方向之一，迪捷軟件是以清華大學康爍教授團隊加上后期加入的前華為技術團隊人員組成，在安全關鍵領域，基于模型的軟件工程或者軟件開發已逐漸進入了我國的裝備研制過程中。

使用SimuLink或者SCADE等嵌入式軟件建模工具對算法或者控制邏輯進行可視化建模，然后生成高可靠的二進制代碼逐漸成為了安全關鍵領域的主流軟件開發方式。由迪捷軟件自主開發的ModelCoder是一款支持多種嵌入式系統建模并可以自動生成高安全可靠的C代碼的軟件設計和開發工具。ModelCoder支持同步數據流以及狀態機等嵌入式模型，其從模型生成代碼的過程經過了形式化驗證，保證生成過程的正確無誤性，能夠用于飛機的飛控，飛機的航電，民用核電的DCS等多個安全關鍵領域的嵌入式軟件的設計和開發。

---

本文標題：基于模型的系統工程MBSE軟件工具（ModelCoder）

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

創作挑戰賽新人創作獎勵來咯，堅持創作打卡瓜分現金大獎

總結

以上是生活随笔為你收集整理的基于模型的系统工程MBSE软件工具（ModelCoder）的全部內容，希望文章能夠幫你解決所遇到的問題。

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