SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
SCADE Suite®產(chǎn)品是針對高**性嵌入式軟件的基于模型的開發(fā)環(huán)境
SCADE Suite是高**性嵌入式軟件的開發(fā)標(biāo)準(zhǔn)，其應(yīng)用領(lǐng)域涵蓋航空、國防、軌道交通、能源和重工業(yè)。專為*高等級的質(zhì)量和**需求而設(shè)計隨著SCADE
語言和統(tǒng)一的形式化符號的**集成，SCADE Suite為高**應(yīng)用工具提供了從需求管理，基于模型設(shè)計，模擬仿真，認(rèn)證，有效代碼生成，到和其他工具、平臺協(xié)作開發(fā)的****的集成設(shè)計環(huán)境。SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
那么國內(nèi)有替代SCADE Suite產(chǎn)品的解決方案嗎？
答案是肯定的，埃登威旗下以清華大學(xué)康碩教授組成的團(tuán)隊開發(fā)出了形式化驗證的代碼生成工具M(jìn)odelCoder，目前已經(jīng)在中核、中廣核等多家**單位獲得使用，是國內(nèi)目前此領(lǐng)域唯yi替代解決方案，自主仿真軟件的品牌。在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開發(fā)已逐漸進(jìn)入了我國的裝備研制過程中。使用SimuLink或者SCADE等嵌入式軟件建模工具對算法或者控制邏輯進(jìn)行可視化建模，然后生成高可靠的二進(jìn)制代碼逐漸成為了**關(guān)鍵領(lǐng)域的主流軟件開發(fā)方式。由我司自主開發(fā)的ModelCoder是一款支持多種嵌入式系統(tǒng)建模并可以自動生成高**可靠的C代碼的軟件設(shè)計和開發(fā)工具。ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型，其從模型生成代碼的過程經(jīng)過了形式化驗證，保證生成過程的正確無誤性，能夠用于飛機(jī)的飛控，飛機(jī)的航電，核電的DCS等多個**關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計和開發(fā)。SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
SCADE已通過了下面的各項國際**標(biāo)準(zhǔn)：
?通過了（軍/用）和航空航天的DO-178B認(rèn)證，達(dá)到A級水平。
?通過了重工業(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大幅度減少了高**嵌入式軟件項目的成本。
SCADE 使用者可減少花費在報告編寫和驗證上的成本:
?每人每天平均可以完成10行可執(zhí)行代碼的開發(fā)（包括驗證），而手工開發(fā)，每人每天只能完成5行代碼
?軟件認(rèn)證成本減少50％
?編碼，走查和測試代碼的成本減少70％到90％
?軟件更新周期縮短65％到75％
?自動生成模型級測試和覆蓋率分析
SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別
?消除代碼錯誤和省略了低層測試
?在整個生命周期實現(xiàn)快速**的設(shè)計變更，同時減少70％到90％的測試成本
**構(gòu)造
?正確的設(shè)計建模，圖形化的調(diào)試和高效仿真
?設(shè)計驗證? - 形式化驗證
?生成**、高效的小型代碼
?項目管理和文檔生成其他產(chǎn)品：微量氧分析儀,藥品殘氧儀,露點儀,熱導(dǎo)氣體分析儀,GE流量計,OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃?xì)鉄嶂祪x,Kaye溫度驗證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機(jī)露點儀,激光氣體分析儀,便攜式露點儀,便攜式微量氧分析儀西門子氧電
更多SCADESuite嵌入式軟件基于模型的開發(fā)與國產(chǎn)替代軟件區(qū)別信息請直接致電埃登威上海021-55581219
