ModelCoder介紹

在安全關鍵領域，基于模型的軟件工程或者軟件開發已逐漸進入了我國的裝備研制過程中。使用Simulink或者SCADE等嵌入式軟件建模工具對算法或者控制邏輯進行可視化建模，然后生成高可靠的二進制代碼逐漸成為了安全關鍵領域的主流開發方式。

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

功能

模型搭建–以拖拽方式快速構建數據流模型

生成C代碼–將同步數據流語言經過形式化方法生成可靠的C代碼

仿真測試–將生成的C代碼通過嵌入式編譯器生成不同架構的嵌入式程序，測試運行結果的正確性

優勢

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

圖形化方式建模，更直觀

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

建模規則

特定的運算符用來支持特定的數據結構，例如Map用來支持對Array的操作。

控制模塊的復雜度，盡量減少子模塊的調用，生成的代碼每調用一次函數，就會產生函數傳參的開銷，此時如果上層有較多循環，則傳參的代價較高。

檢查重復模塊，盡量歸并重復項，形成基礎庫。

所用模型的輸入輸出端口的類型與數量必須符合該模型要求。

對門電路，建模前應先優化，可降低模型的復雜度。

控制局部變量數量，減少不必要的局部變量，以防產生額外的堆棧產生和銷毀的開銷。

---

本文標題：ModelCoder國產化解決方案已逐步代替國外軟件Matlab/Simulink

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

總結

以上是生活随笔為你收集整理的ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink的全部內容，希望文章能夠幫你解決所遇到的問題。

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