ModelCoder介紹

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

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

功能

模型搭建–以拖拽方式快速構(gòu)建數(shù)據(jù)流模型

生成C代碼–將同步數(shù)據(jù)流語言經(jīng)過形式化方法生成可靠的C代碼

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

優(yōu)勢

代碼生成全過程經(jīng)過形式化驗證，安全可靠

圖形化方式建模，更直觀

國產(chǎn)處理器和國產(chǎn)操作系統(tǒng)的支持

建模規(guī)則

特定的運算符用來支持特定的數(shù)據(jù)結(jié)構(gòu)，例如Map用來支持對Array的操作。

控制模塊的復(fù)雜度，盡量減少子模塊的調(diào)用，生成的代碼每調(diào)用一次函數(shù)，就會產(chǎn)生函數(shù)傳參的開銷，此時如果上層有較多循環(huán)，則傳參的代價較高。

檢查重復(fù)模塊，盡量歸并重復(fù)項，形成基礎(chǔ)庫。

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

對門電路，建模前應(yīng)先優(yōu)化，可降低模型的復(fù)雜度。

控制局部變量數(shù)量，減少不必要的局部變量，以防產(chǎn)生額外的堆棧產(chǎn)生和銷毀的開銷。

---

本文標(biāo)題：ModelCoder國產(chǎn)化解決方案已逐步代替國外軟件Matlab/Simulink

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

總結(jié)

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

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