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

ModelCoder簡介

國產(chǎn)自主可控的形式化驗(yàn)證代碼自動生成工具M(jìn)odelCoder可替代Matlab/Sumlink軟件工具是一款支持多種嵌入式系統(tǒng)建模并可以代碼自動生成高安全可靠的C代碼的軟件設(shè)計(jì)和開發(fā)工具。ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型，其從模型生成代碼的過程經(jīng)過了形式化驗(yàn)證，保證生成過程的正確無誤性，能夠用飛控，航電，核電DCS等多個安全關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開發(fā)。

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

Modelcoder的優(yōu)勢
1. 代碼生成全過程經(jīng)過形式化驗(yàn)證，安全可靠
2. 圖形化方式建模，更直觀
3. 國產(chǎn)處理器和國產(chǎn)操作系統(tǒng)的支持

國產(chǎn)可替代Sumlink的ModelCoder

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

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

---

本文標(biāo)題：基于模型的系統(tǒng)工程MBSE軟件工具（ModelCoder）

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

創(chuàng)作挑戰(zhàn)賽新人創(chuàng)作獎勵來咯，堅(jiān)持創(chuàng)作打卡瓜分現(xiàn)金大獎

總結(jié)

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

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