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％的測試成本

安全構造

Ø正确的設計模組化，圖形化的調試和高效仿真

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

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