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

ModelCoder簡介

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

ModelCoder的3大功能

仿真測試

生成C代碼

模型搭建

Modelcoder的優勢

代碼生成全過程經過形式化驗證，安全可靠

圖形化方式建模，更直觀

國產處理器和國產操作系統的支持

轉載于：http://www.digiproto.com

總結

以上是生活随笔為你收集整理的国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink的全部內容，希望文章能夠幫你解決所遇到的問題。

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