Simulink國產(chǎn)替代仿真軟件

點擊看大圖

如果您對該產(chǎn)品感興趣的話,可以

產(chǎn)品名稱: Simulink國產(chǎn)替代仿真軟件

產(chǎn)品型號: Matlab國產(chǎn)替代軟件

產(chǎn)品展商: 其它品牌

產(chǎn)品文檔: 無相關(guān)文檔

簡單介紹

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

Simulink國產(chǎn)替代仿真軟件 的詳細介紹

Simulink國產(chǎn)替代仿真軟件嵌入式軟件建模工具

MATLAB 的重要性無需多說，一些功能甚至很難找到合適的替代品。本文推薦一些開源的替代工具，希望對你有所幫助。另外，也歡迎大家在留言區(qū)推薦你知道的替代工具。

開源軟件是指開放源代碼的軟件，即代碼創(chuàng)作者在遵循相關(guān)開源協(xié)議的基礎上，將自己開發(fā)的軟件源代碼向全世界公開，允許其他開發(fā)人進行自主學習、測試、修改、二次開發(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)清華大學康碩老師為核心團隊加上前華為員工組成的團隊經(jīng)過4年時間開發(fā)而成，后于派進行商業(yè)化開發(fā)。

國產(chǎn)系統(tǒng)仿真平臺軟件已有客戶：
– 十二大軍G集團的八家:中核，中航工業(yè)，航天科技，航天科工，中國電子，中國電科，中船，商發(fā)，中核建是偏建筑工程等多家企業(yè)。是真正意義上國內(nèi)軍G行業(yè)自主的仿真軟件。

形式化驗證的代碼生成工具ModelCoder Simulink國產(chǎn)替代仿真軟件

ModelCoder的介紹

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

ModelCoder的原理

代碼生成工具是編譯器的一種，是把模型語言翻譯成C語言的編譯器。代碼生成工具廣泛用于我國的航空、軌交和核電等**關(guān)鍵領域。保證代碼生成工具的生成過程的**可靠性是**關(guān)鍵領域必須要面對的課題。ModelCoder采用了*嚴格的形式化技術(shù)，用定理證明的方式對模型到代碼的生成過程進行了嚴格的數(shù)學證明。和同類軟件SCADE的KCG相比，KCG只是采用了模型檢測技術(shù)對模型本身進行了證明，而ModelCoder無疑在技術(shù)途徑上更為可靠。

Simulink國產(chǎn)替代仿真軟件ModelCoder的翻譯過程如下：