SCADE 模型測試工具與國產替代軟件情況介紹
SCADE仿真軟件
產品規格及主要技術指標:
高**性嵌入式軟件開發標準環境,提供從需求管理,基于模型的設計,仿真,代碼生成等集成設計環境,以前總說國內無類似軟件，我們在此糾正一點，這是錯誤的，國內埃登威旗下的迪捷軟件形式化驗證的代碼生成工具ModelCoder已經獲得了中國**、核電、大學的訂單，我們應該為此感到驕傲！
ModelCoder的介紹
在**關鍵領域，基于模型的軟件工程或者軟件開發已逐漸進入了我國的裝備研制過程中。使用SimuLink或者SCADE等嵌入式軟件建模工具對算法或者控制邏輯進行可視化建模，然后生成高可靠的二進制代碼逐漸成為了**關鍵領域的主流軟件開發方式。由我司自主開發的ModelCoder是一款支持多種嵌入式系統建模并可以自動生成高**可靠的C代碼的軟件設計和開發工具。ModelCoder支持同步數據流以及狀態機等嵌入式模型，其從模型生成代碼的過程經過了形式化驗證，保證生成過程的正確無誤性，能夠用于飛機的飛控，飛機的航電，核電的DCS等多個**關鍵領域的嵌入式軟件的設計和開發。SCADE 模型測試工具與國產替代軟件情況介紹
團隊介紹：
創始人：
康爍，2005年畢業于清華大學軟件學院，獲得碩士學位，曾在美國ADI，華為公司等擔任**工程師、主任工程師等職務。
康爍擁有超過17年的系統軟件科研和工程經驗，其中包含操作系統、編譯器、虛擬機、關鍵領域軟件**等領域，主持和參與了多個國內外開源項目，且在實際工程中均得到廣泛應用。其中，SkyEye全數字仿真產品應用于國內航空航天領域的眾多型號的研發測試領域；符號執行軟件android_s2e被華為以及國內**單位應用于軟件測試方面；基于LLVM的安卓虛擬機入選了2015年《LLVM開發人大會》的項目展示環節；參與的L2C項目被國內核電單位應用于相關設備中。
從2006年起，康爍連續十年參與籌辦了國內*大的linux內核會議（CLK），并且也是國內開源軟件工具（OSDT,前身為HelloGcc）的發起人之一。目前主要研究方向是用于**關鍵領域的各種國產自主知識產權的軟件工具。
團隊成員：
25名前華為技術工程師、清華大學研究生博士生團隊。
目前國內客戶：
|
中國航空工業集團有限公司
|
成都飛機設計研究所
西安航空計算技術研究所
西安自動飛行控制研究所
洛陽電光設備研究所
|
|
中國航天科技集團有限公司
|
四川航天技術研究院
上海航天技術研究院
上海航天控制技術研究所
上海衛星工程研究所
|
|
中國航天科工集團有限公司
|
航天二院
航天三江集團
|
|
中國船舶工業集團有限公司
|
中國船舶工業系統工程研究院
|
|
中國電子科技集團有限公司
|
第十研究所
第五十三研究所
|
|
中國電子信息產業集團有限公司
|
武漢中原電子集團有限公司
|
|
中國核工業集團有限公司
|
中國核動力研究設計院
廣東核電集團
|
|
中國航空發動機集團有限公司
|
中國航發商用航空發動機有限責任公司
|
|
高校合作
|
清華大學
武漢理工大學
重慶交通學院
新疆農業職業技術學院
中國礦業大學
華南理工大學
北京交通大學
湖南大學
合肥工業大學
中國科學技術大學
西安電子科技大學
中山大學
山東科技大學
遼寧工程技術大學
河南工業大學
天津理工大學
成都電子科技大學
中國人民解放軍裝甲兵工程學院
|
|
其他客戶
|
華為
北京星地恒通
重慶慧爾科技
蘇州勝利科技有限公司
天津華寧電子
大連微龍軟件有限公司
廣州國筆科技公司
北京國威集成技術有限公司
|
SCADE 模型測試工具 (ASMT)
Esteral公司的SCADE模型開發工具套件中包括SCADE Suite和SCADE Display模塊，是機載軟件研制過程中常用的模型開發工具。SCADE模型開發工具配套提供的仿真調試環境，可以勝任模型開發過程中的調試工作。然而，在進行模型測試時，即使購買了SCADE TEST套件，也通常難以滿足用戶的所有測試需求（如規范化、測試化、易用性、高可讀性等）。SCADE 模型測試工具與國產替代軟件情況介紹
愛韋訊已準備好了ASMT—SCADE模型測試工具，提供以下功能，幫助您解決SCADE模型測試過程的種種難題：
★ 提供一套完整的SCADE行為+圖形模型的測試解決方案和工作流程；
★ 輕量級，無需復雜的支持環境和專用環境，降低項目成本；
★ 簡單易學的測試用例設計方法，無需掌握任何開發語言或腳本語言；
★ 自動生成測試規程；
★ 測試結果自動包含驗證點截圖；
★ 支持行為模型輸入測試覆蓋分析；
★ 支持OpenGL顯示模型的Object圖形測試覆蓋分析；
★ 支持A661顯示模型的Widget圖形測試覆蓋分析。
▌ASMT功能概述
ASMT能夠在PC機（Windows系統）上針對SCADE模型執行自動化測試。該工具能夠為用戶提供圖形化的操作界面，其功能包括：
★ 測試驅動生成
★ 測試執行
★ 模型調試
★ 測試用例導入
★ 測試結果分析和查看
★ MTC測試輔助
▌ASMT全套解決方案SCADE 模型測試工具與國產替代軟件情況介紹
★ 規范的測試用例模板：提供簡單、易讀、易編寫的測試用例開發環境；
★ 測試腳本生成模塊：能自動將符合測試用例模板規范的測試用例轉換為測試腳本；
★ SCADE模型插裝模塊：支持以下三種SCADE模型的測試插裝；
— SCADE Suite行為模型
— SCADE Suite行為模型+SCADE Display OpenGL顯示模型
— SCADE Suite行為模型+SCADE Display A661顯示模型
★ 仿真測試模塊：執行測試腳本和插裝后的SCADE模型程序，收集測試結果和覆蓋率數據；
★ 測試調試模塊：支持用戶逐步調試測試腳本，通過選擇測試模型的變量、特定操作函數，觀察模型的實際運
行狀態；
★ 圖形化用戶界面：為完整的測試流程提供易用的圖形化界面。其他產品：微量氧分析儀,藥品殘氧儀,露點儀,熱導氣體分析儀,GE流量計,OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃氣熱值儀,Kaye溫度驗證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機露點儀,激光氣體分析儀,便攜式露點儀,便攜式微量氧分析儀西門子氧電
更多SCADE 模型測試工具與國產替代軟件情況介紹信息請直接致電埃登威上海021-55581219
