Simulink國產(chǎn)替代仿真軟件 嵌入式軟件建模工具
MATLAB 的重要性無需多說，一些功能甚至很難找到合適的替代品。本文推薦一些開源的替代工具，希望對你有所幫助。另外，也歡迎大家在留言區(qū)推薦你知道的替代工具。
開源軟件是指開放源代碼的軟件，即代碼創(chuàng)作者在遵循相關(guān)開源協(xié)議的基礎(chǔ)上，將自己開發(fā)的軟件源代碼向公開，允許其他開發(fā)人進(jìn)行自主學(xué)習(xí)、測試、修改、二次開發(fā)和傳播等，以協(xié)同方式改善軟件產(chǎn)品的質(zhì)量和優(yōu)化軟件功能等。
開源軟件在操作系統(tǒng)、數(shù)據(jù)庫、中間件等都有許多流行的軟件產(chǎn)品，如 Linux 電腦操作系統(tǒng)、MySQL 和 PostgreSQL 開源數(shù)據(jù)庫等。
Simulink國產(chǎn)替代仿真軟件 嵌入式軟件建模工具由國內(nèi)清華大學(xué)康碩老師為核心團(tuán)隊(duì)加上前華為員工組成的團(tuán)隊(duì)經(jīng)過4年時(shí)間開發(fā)而成，后于派進(jìn)行商業(yè)化開發(fā)。
國產(chǎn)系統(tǒng)仿真平臺軟件已有客戶：
– 十二大軍G集團(tuán)的八家:中核，中航工業(yè)，航天科技，航天 科工，中國電子，中國電科，中船，商發(fā)，中核建是偏建筑工程等多家企業(yè)。是真正意義上國內(nèi)軍G行業(yè)自主的仿真軟件。
ModelCoder的介紹
在**關(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ā)工具。Simulink國產(chǎn)替代仿真軟件ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型，其從模型生成代碼的過程經(jīng)過了形式化驗(yàn)證，保證生成過程的正確無誤性，能夠用于飛機(jī)的飛控，飛機(jī)的航電，核電的DCS等多個(gè)**關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開發(fā)。
ModelCoder的原理
代碼生成工具是編譯器的一種，是把模型語言翻譯成C語言的編譯器。代碼生成工具廣泛用于我國的航空、軌交和核電等**關(guān)鍵領(lǐng)域。保證代碼生成工具的生成過程的**可靠性是**關(guān)鍵領(lǐng)域必須要面對的課題。ModelCoder采用了*嚴(yán)格的形式化技術(shù)，用定理證明的方式對模型到代碼的生成過程進(jìn)行了嚴(yán)格的數(shù)學(xué)證明。和同類軟件SCADE的KCG相比，KCG只是采用了模型檢測技術(shù)對模型本身進(jìn)行了證明，而ModelCoder無疑在技術(shù)途徑上更為可靠。
Simulink國產(chǎn)替代仿真軟件ModelCoder的翻譯過程如下：
ModelCoder翻譯流程簡圖
ModelCoder的功能
ModelCoder的功能分為三個(gè)部分：1）軟件建模的圖形化前端；2）模型的仿真運(yùn)行測試模塊；3）C代碼的自動生成模塊。
ModelCoder的圖形化前段Simulink國產(chǎn)替代仿真軟件
ModelCoder的仿真運(yùn)行測試模塊
