嵌入式軟件越來越普遍地用于智能設備,但不完美的代碼可能會導致眾多產品故障。據業界領導者預計,每 1,000 行嵌入式軟件代碼包含 8 個漏洞。為了管理這一質量風險,以及達到更高的軟件認證標準,您需要充分利用嵌入式軟件開發工具和認證代碼生成器。
ANSYS 提供基于模型的嵌入式軟件開發和仿真環境,環境內置自動代碼生成器,以加快嵌入式軟件開發項目的速度。系統和軟件工程師利用 ANSYS SCADE 解決方案生動的設計、驗證并自動生成對可靠性有很高要求的關鍵系統和軟件應用。SCADE 解決方案具有較高的可互操作性,并且能夠輕松集成,從而實現開發優化并加強各團隊成員之間的溝通。
SCADE 代碼生成器已經在六大細分市場獲得全球十家以上安全機構的頂級安全標準資質/認證,包括:
? DO-178C 標準(直至 A 級)– FAA、EASA、加拿大運輸部與 ANAC 航空航天與國防應用
? IEC 61508 標準(直至 SIL 3 級)– TüV SüD 運輸和工業應用
? EN 50128 標準(直至 SIL 3/4 級)– TüV SüD、EBA 與 Certifer 鐵路運輸應用
? IEC 60880 合規性表現 – 核安全機構核應用
? ISO 26262 標準(直至 ASIL D 級)– TüV SüD 汽車應用
? SCADE 加速嵌入式軟件開發進程
SCADE 用戶表示開發和驗證成本得到以下改進:
? 根據安全標準目標調整設計過程
? 開發成本平均降低 50%
? 認證速度加快兩倍