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