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