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