SCADESuite嵌入式軟件基於模型的開發


SCADE Suite®產品是針對高安全性嵌入式軟件的基於模型的開發環境

SCADE Suite是高安全性嵌入式軟件的開發標准,其應用領域涵蓋航空、國防、軌道交通、能源和重工業。專為最高等級的質量和安全需求而設計隨着SCADE

語言和統一的形式化符號的完美集成,SCADE Suite為高安全應用工具提供了從需求管理,基於模型設計,模擬仿真,認證,有效代碼生成,到和其他工具、平台協作開發的獨一無二的集成設計環境。

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%

Ø自動生成模型級測試和覆蓋率分析

Ø消除代碼錯誤和省略了低層測試

Ø在整個生命周期實現快速安全的設計變更,同時減少70%到90%的測試成本

安全構造

Ø正確的設計建模,圖形化的調試和高效仿真

Ø設計驗證™ - 形式化驗證

Ø生成安全、高效的小型代碼

Ø項目管理和文檔生成

 

上海葩星科技有限公司是SCADE Suite產品代理商。葩星科技成立於2003年。公司主業方向"實時應用,控制系統應用"相關的仿真測試試驗台架,和相關的咨詢開發項目。公司可以完成信號調理,信號通信接口,硬件驅動,信息網絡系統,機械台架等各方面的設計和開發以及集成。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM