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

標籤：des   http   io   os   使用   sp   on   代碼   html   

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年。公司主業方向"即時應用，控制系統應用"相關的模擬測試實驗台架，和相關的諮詢開發項目。公司可以完成訊號調理，訊號通訊介面，硬體驅動，資訊網路系統，機械台架等各方面的設計和開發以及整合。

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