可靠的嵌入式軟體開發解決方案
Ansys 嵌入式軟體開發解決方案會根據安全標準目標調整設計程序，降低開發成本，並將認證時間縮短兩倍。
加速開發嵌入式軟體
Ansys 提供以模型為基礎的嵌入式軟體開發與模擬環境，內建經過認證的自動程式碼產生器，可加快嵌入式軟體開發項目的速度。系統和軟體工程師使用 Ansys 以圖形方式設計、驗證並自動產具備高可靠性要求的關鍵嵌入式應用程式。Ansys SCADE 解決方案具有高度交互運作性能，可以輕鬆整合到現有的開發流程中，最佳化開發程序，並提升團隊成員之間的溝通品質。
-
開發並整合進階演算法和功能
-
改善整個工作流程的一致性和可追溯性
-
確認並驗證您的程式碼和設計
-
自動產生符合認證要求的程式碼
Ansys 2023 R1 strengthens the interoperability in A&D with ARINC 661, software architecture & FACE, and Automotive (AUTOSAR). Cloud availability through Ansys Gateway powered by AWS brings greater flexibility in deploying SCADE products. In addition, test generation assistance improvements speed up the software V&V workflow.
Ansys SCADE Expanded AUTOSAR Classic Support
Ansys SCADE expands AUTOSAR classic support, focusing on software components (SWC), including support of Application Value Specifications, and Memory Sections. This release strengthens support of AUTOSAR software application development flow both at modeling and code generation levels, combined with unique ISO 26262 ASIL D tool qualification.
Ansys SCADE Solutions for ARINC 661 and FACE standards
Ansys SCADE includes several improvements to accelerate development for customers starting from the included widget library and aiming for DO-178C certification. Go to the ARINC 661 page for more release details.
Ansys SCADE is Available on Cloud - Ansys Gateway powered by AWS
Ansys Cloud allows deploying, controlling and scaling machines running SCADE in just a few clicks.
Webinars
Products
View all Products
SCADE Suite 是一個以模型為基礎的開發環境，用於關鍵嵌入式軟體的設計和驗證，以及安全認證的代碼生成。
- 以模型為基礎的可靠嵌入式軟體設計
- 除錯和模擬
- 產生合格/經認證的自動代碼
- 滿足安全要求的認證套件
SCADE Display 有助於開發嵌入式圖形、顯示器和 HMI，以及產生安全認證代碼。
- 多功能圖形設計和開發環境
- 支援多種安全標準
- 與 SCADE Suite 整合
SCADE Test 提供您測試、確認與驗證應用程式，並完成可靠嵌入式軟體所需的一切。
- 完成符合驗證要求的測試環境
- 在系統迴路環境中進行軟體測試
- 模型和程式碼覆蓋率分析
SCADE Architect 提供系統和軟體架構建模功能，完整支援產業的系統工程開發程序。
- 模型式嵌入系統和軟體架構設計
- 產生一致全面的 ICD
- 與 SCADE 應用程式整合，可用來設計軟體密集型系統
適用於 ARINC 661 的 SCADE 解決方案可幫助您開發符合 ARINC 661 航空電子顯示器標準的駕駛艙顯示系統。
- 實體原型和設計皆符合 ARINC 661 的駕駛艙顯示系統和使用者應用程式
- 可客製化的合規延伸工具程式庫
- 自動生成二進制和 XML 定義檔 (DF)
SCADE Lifecycle 提供系統與軟體生命週期管理，並以要求管理工具橋接其他 SCADE 解決方案。
- 關鍵設計程序的全面要求可追溯性
- 自動產生報告
- 將其它 SCADE 工具與版本和組態管理整合在一起
功能
Ansys 嵌入式軟體解決方案提供一系列強大功能，幫助您更快開發安全可靠的軟體設計。
- 開發嵌入式控制軟體
- 人機介面軟體
- 跨產業產生認證程式碼
- 模型式系統工程
從商用飛機到自動駕駛車，嵌入式軟體開發程序的品質決定了操作效率和安全性。認證程式碼產生器 (如 Ansys SCADE 中的程式碼產生器) 可確保您的嵌入式軟體無論是首次或每次運作時，都能夠按計劃運作。
儘管擁有自主性，但現今的智慧產品偶爾仍必須經由容易使用的直覺式人機介面與人互動。您可以使用 Ansys 的軟體開發和認證程式碼產生工具，將介面的可用性和可靠性最佳化。
Ansys 程式碼產生器和驗證工具已通過全球 10 多個安全機構的認證，在六個市場區段中達到最高安全等級，包括：航太與國防應用領域的 DO-178C 最高 A 級；汽車應用領域的 ISO 26262 最高 ASIL D；交通運輸與工業應用領域的 IEC 61508 最高 SIL 3；鐵路運輸應用領域的 EN 50128 最高 SIL 3/4；由許多核安管理機構在核能應用領域證明符合 IEC 60880 標準。
基於模型的系統工程 (MBSE) 是在整個開發週期中使用系統模型來定義進行要求、設計、分析以及驗證活動的關鍵。這可以追蹤與不斷發展的模型之間的互依性，而不是書面設計規範，因此您可以確保所有子系統都能以精確調整的整體進行網格化，即使您繼續變更設計，也不受影響。
應用領域
技術論文
精選網路研討會
案例研究
查看 Ansys 的服務與產品
查看 Ansys 的服務與產品
Contact Us
立即聯絡我們
