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