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