在安全關鍵領域，基于模型的軟件工程已逐漸進入了我國的裝備研制過程中。使用SimuLink或者SCADE等嵌入式軟件建模工具進行可視化建模，然后生成高可靠的二進制代碼逐漸成為了安全關鍵領域的主流軟件開發方式。由迪捷軟件自主研發的系統建模、分析、仿真和驗證軟件工具ModelCodoer可以替代國外SimuLink或者SCADE實現基于模型的系統工程的開發。

ModelCoder簡介

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

ModelCoder的3大功能

• 仿真測試
• 生成C代碼
• 模型搭建

Modelcoder的優勢

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

本文標題：系統建模、分析、仿真和驗證軟件工具ModelCodoer

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

總結

以上是生活随笔為你收集整理的系统建模、分析、仿真和验证软件工具ModelCodoer的全部內容，希望文章能夠幫你解決所遇到的問題。

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