SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
SCADE Suite®產(chǎn)品是針對(duì)高**性嵌入式軟件的基于模型的開發(fā)環(huán)境
SCADE Suite是高**性嵌入式軟件的開發(fā)標(biāo)準(zhǔn)，其應(yīng)用領(lǐng)域涵蓋航空、國防、軌道交通、能源和重工業(yè)。專為*高等級(jí)的質(zhì)量和**需求而設(shè)計(jì)隨著SCADE
語言和統(tǒng)一的形式化符號(hào)的**集成，SCADE Suite為高**應(yīng)用工具提供了從需求管理，基于模型設(shè)計(jì)，模擬仿真，認(rèn)證，有效代碼生成，到和其他工具、平臺(tái)協(xié)作開發(fā)的****的集成設(shè)計(jì)環(huán)境。SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
那么國內(nèi)有替代SCADE Suite產(chǎn)品的解決方案嗎？
答案是肯定的，埃登威旗下以清華大學(xué)康碩教授組成的團(tuán)隊(duì)開發(fā)出了形式化驗(yàn)證的代碼生成工具M(jìn)odelCoder，目前已經(jīng)在中核、中廣核等多家**單位獲得使用，是國內(nèi)目前此領(lǐng)域唯yi替代解決方案，自主仿真軟件的品牌。在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開發(fā)已逐漸進(jìn)入了我國的裝備研制過程中。使用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)證，保證生成過程的正確無誤性，能夠用于飛機(jī)的飛控，飛機(jī)的航電，核電的DCS等多個(gè)**關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開發(fā)。SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
SCADE已通過了下面的各項(xiàng)國際**標(biāo)準(zhǔn)：
?通過了（軍/用）和航空航天的DO-178B認(rèn)證，達(dá)到A級(jí)水平。
?通過了重工業(yè)和能源TüV的IEC 61508認(rèn)證，達(dá)到SIL 3。
?通過了軌道交通TüV的EN 50128認(rèn)證，達(dá)到SIL 3/4。
?通過了與核能兼容的IEC 60880認(rèn)證。
不但提高了工作效率，還改善了產(chǎn)品質(zhì)量
SCADE Suite大幅度減少了高**嵌入式軟件項(xiàng)目的成本。
SCADE 使用者可減少花費(fèi)在報(bào)告編寫和驗(yàn)證上的成本:
?每人每天平均可以完成10行可執(zhí)行代碼的開發(fā)（包括驗(yàn)證），而手工開發(fā)，每人每天只能完成5行代碼
?軟件認(rèn)證成本減少50％
?編碼，走查和測(cè)試代碼的成本減少70％到90％
?軟件更新周期縮短65％到75％
?自動(dòng)生成模型級(jí)測(cè)試和覆蓋率分析
SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
?消除代碼錯(cuò)誤和省略了低層測(cè)試
?在整個(gè)生命周期實(shí)現(xiàn)快速**的設(shè)計(jì)變更，同時(shí)減少70％到90％的測(cè)試成本
**構(gòu)造
?正確的設(shè)計(jì)建模，圖形化的調(diào)試和高效仿真
?設(shè)計(jì)驗(yàn)證? - 形式化驗(yàn)證
?生成**、高效的小型代碼
?項(xiàng)目管理和文檔生成其他產(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)儀,便攜式微量氧分析儀西門子氧電
更多SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別信息請(qǐng)直接致電埃登威上海021-55581219
