SCADE產(chǎn)品體系及國(guó)內(nèi)自主仿真軟件ModelCoder的前世今生
SCADE產(chǎn)品體系
SCADE是主要產(chǎn)品系列。SCADE是高**性應(yīng)用開(kāi)發(fā)環(huán)境（Safety Critical Application Development Environment）的簡(jiǎn)稱，產(chǎn)品涵蓋了高**性嵌入式系統(tǒng)開(kāi)發(fā)的各個(gè)內(nèi)容和階段。
收到國(guó)際軟件的封鎖，國(guó)內(nèi)有相似的替代軟件了嗎？
答案是肯定的，來(lái)自清華大學(xué)康爍先生攜前華為員工組成的豪華技術(shù)團(tuán)隊(duì)，已經(jīng)收獲了眾多軍GONG訂單。采用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ā)方式。SCADE產(chǎn)品體系及國(guó)內(nèi)自主仿真軟件ModelCoder的前世今生
以下單位已經(jīng)采用我們國(guó)產(chǎn)自主仿真軟件：
|
中國(guó)航K工業(yè)集團(tuán)有限公司
|
成都F機(jī)設(shè)計(jì)研究所
西安航K計(jì)算技術(shù)研究所
西安自動(dòng)F行控制研究所
洛陽(yáng)電光S備研究所
|
|
中國(guó)航T科技集團(tuán)有限公司
|
四川航T技術(shù)研究院
上海航T技術(shù)研究院
上海航T控制技術(shù)研究所
上海衛(wèi)X工程研究所
|
|
中國(guó)航T科工集團(tuán)有限公司
|
航天X院
航天X江集團(tuán)
|
|
中國(guó)船B工業(yè)集團(tuán)有限公司
|
中國(guó)船B工業(yè)系統(tǒng)工程研究院
|
|
中國(guó)電Z科技集團(tuán)有限公司
|
第X研究所
第5XX研究所
|
|
中國(guó)電Z信息產(chǎn)業(yè)集團(tuán)有限公司
|
武漢中原D子集團(tuán)有限公司
|
|
中國(guó)核工Y集團(tuán)有限公司
|
中國(guó)He動(dòng)力研究設(shè)計(jì)院
廣東H電集團(tuán)
|
|
中國(guó)航K發(fā)動(dòng)機(jī)集團(tuán)有限公司
|
中國(guó)航F商用航K發(fā)動(dòng)機(jī)有限責(zé)任公司
|
|
高校合作
|
清華大學(xué)
武漢理工大學(xué)
重慶交通學(xué)院
新疆農(nóng)業(yè)職業(yè)技術(shù)學(xué)院
中國(guó)礦業(yè)大學(xué)
華南理工大學(xué)
北京交通大學(xué)
湖南大學(xué)
合肥工業(yè)大學(xué)
中國(guó)科學(xué)技術(shù)大學(xué)
西安電子科技大學(xué)
中山大學(xué)
山東科技大學(xué)
遼寧工程技術(shù)大學(xué)
河南工業(yè)大學(xué)
天津理工大學(xué)
成都電子科技大學(xué)
中國(guó)人民解放軍裝甲兵工程學(xué)院
|
|
其他客戶
|
華為
北京星地恒通
重慶慧爾科技
蘇州勝利科技有限公司
天津華寧電子
大連微龍軟件有限公司
廣州國(guó)筆科技公司
北京國(guó)威集成技術(shù)有限公司
|
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ù)途徑上更為可靠。SCADE產(chǎn)品體系及國(guó)內(nèi)自主仿真軟件ModelCoder的前世今生
SCADE其主要產(chǎn)品有：
1. SCADE Suite：業(yè)內(nèi)**的面向高**性的集成軟件開(kāi)發(fā)環(huán)境，通過(guò)采用scade語(yǔ)言和統(tǒng)一的形式化語(yǔ)義，可實(shí)現(xiàn)基于模型的設(shè)計(jì)、仿真、驗(yàn)證、認(rèn)證級(jí)代碼生成以及與其他開(kāi)發(fā)工具和平臺(tái)的交互。SCADE Suite代碼生成器可以自動(dòng)生成C代碼和 Ada代碼。
SCADE Suite基本模塊由SCADE Suite Advanced Modeler（SCADE**建模器）、SCADE Suite KCG（代碼生成器），以及SCADE Suite Documentation Generator（模型設(shè)計(jì)文檔生成器）組成。
2. SCADE Display：是一套靈活的面向高**性圖形顯示和HMIs的設(shè)計(jì)與開(kāi)發(fā)環(huán)境。是新一代圖形軟件開(kāi)發(fā)平臺(tái)，基于該平臺(tái)可完成原型生成、設(shè)計(jì)仿真、驗(yàn)證和認(rèn)證級(jí)代碼生成等工作。
3. SCADE LifeCycle：擴(kuò)展了SCADE產(chǎn)品對(duì)面向高**性系統(tǒng)和軟件的完整生命周期的管理功能。主要功能包括需求和可追溯性管理工具、符合DO-178B標(biāo)準(zhǔn)的認(rèn)證計(jì)劃模板以及自動(dòng)化文檔生成器。
4. SCADE System：基于SysML和Eclipse 標(biāo)準(zhǔn)，通過(guò)使用SCADE System來(lái)聯(lián)接 SCADE Suite、SCADE Display和SCADE LifeCycle，系統(tǒng)工程師和軟件工程師可以在同一構(gòu)架下工作，從而避免重復(fù)勞動(dòng)以及系統(tǒng)結(jié)構(gòu)和軟件行為定義之間的偏差。
5. SCADE ARINC 661解決方案：SCADE為航空電子設(shè)備顯示系統(tǒng)研制單位提供了一套符合ARINC 661標(biāo)準(zhǔn)的完整解決方案。該方案基于現(xiàn)有的SCADE產(chǎn)品模塊，提供基于“所見(jiàn)即所得”的UA頁(yè)面定制、Server端widget定制以及通信代碼的生成，確保運(yùn)行時(shí)和定制時(shí)看到的外觀一致。同時(shí)，開(kāi)發(fā)人員可以在SCADE Suite中對(duì)UA端邏輯與Server端Widgets屬性或事件進(jìn)行綁定和映射，實(shí)現(xiàn)對(duì)UA端控制邏輯與Server端圖形頁(yè)面（DF文件）的聯(lián)合仿真。SCADE產(chǎn)品體系及國(guó)內(nèi)自主仿真軟件ModelCoder的前世今生
SCADE的功能特點(diǎn)
SCADE是一種高**性嵌入式軟件的開(kāi)發(fā)環(huán)境，它具有的以下特點(diǎn)，能夠有效地解決目前傳統(tǒng)軟件開(kāi)發(fā)中存在的問(wèn)題：
★ 采用形式化的設(shè)計(jì)方法，以嚴(yán)格的數(shù)學(xué)理論保證設(shè)計(jì)的完整性和無(wú)二義性；
★ 使用圖形化建模方式，易學(xué)易用，采用“基于模型”開(kāi)發(fā)方式替代傳統(tǒng)的“基于代碼”的開(kāi)發(fā)方式，減少了開(kāi)發(fā)人員的工作量；
★ 自動(dòng)生成高質(zhì)量、無(wú)需單元測(cè)試的產(chǎn)品級(jí)C/Ada代碼，代碼與模型嚴(yán)格一致；
★ 提供高效和可靠的仿真和測(cè)試手段，可對(duì)各個(gè)開(kāi)發(fā)流程進(jìn)行定量的驗(yàn)證。
提供的SCADE解決方案，依靠其準(zhǔn)確的軟件需求描述、模型仿真、形式化驗(yàn)證以及高質(zhì)量的自動(dòng)代碼生成技術(shù)等手段對(duì)**嵌入式軟件開(kāi)發(fā)進(jìn)行了標(biāo)準(zhǔn)化和自動(dòng)化處理，能夠生成70%以上的產(chǎn)品代碼；省略大規(guī)模的單元測(cè)試；減少一半以上的驗(yàn)證工作；節(jié)約50%以上的開(kāi)發(fā)成本；成倍地加快開(kāi)發(fā)進(jìn)度；可靠地保證產(chǎn)品的**性；并幫助我們達(dá)到DO-178B標(biāo)準(zhǔn)的要求。其他產(chǎn)品：微量氧分析儀,藥品殘氧儀,露點(diǎn)儀,熱導(dǎo)氣體分析儀,GE流量計(jì),OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門(mén)子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃?xì)鉄嶂祪x,Kaye溫度驗(yàn)證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點(diǎn)儀,干燥機(jī)露點(diǎn)儀,激光氣體分析儀,便攜式露點(diǎn)儀,便攜式微量氧分析儀西門(mén)子氧電
更多SCADE產(chǎn)品體系及國(guó)內(nèi)自主仿真軟件ModelCoder的前世今生信息請(qǐng)直接致電埃登威上海021-55581219
