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