Ansys SCADE Suite
關鍵嵌入式軟體適用、以模型為基礎的開發環境

Ansys SCADE Suite 是以模型為基礎的開發環境，能開發出可靠的嵌入式軟體，它提供與需求管理之連結、以模型為基礎的設計、驗證、可限定條件/經認證的程式碼產生功能以及與其他開發工具和平台的互通性。

免費試用數位安全會議

以模型為基礎的設計

可靠的嵌入式控制軟體是在 Ansys SCADE Suite 中建立的

現代的汽車、飛機和其他複雜工業產品由多種電子元件組成，完美整合以提供關鍵功能。這些進階系統的基礎是數百萬行的嵌入式軟體程式碼，可確保在每一種操作環境下運行皆無缺失。

Ansys SCADE Suite 節省了驗證工作並提高了工作效率，同時不影響關鍵應用的安全性和可靠性。

簡要規格

Ansys SCADE Suite 簡化關鍵控制應用之設計，並自動化執行驗證、可限定條件/經認證的程式碼產生功能以及文件產生功能，大幅降低安全認證成本。

Ansys SCADE Suite 因為支援互通性標準，而且具備以 Python 為基礎的自訂功能，所以可與使用者流程緊密整合。

Up to 50% Cost Reduction

Certified Code Generation

Python-based API

VRX, TwinBuilder Integration

End-to-end Traceability

Seamless Target Integration

FMU-FMI, AUTOSAR Support

Simulink import, S-Function Export

Reduced Manual Testing

Guaranteed Model Completeness

Seamless User Flow Integration

MISRA Compliance

Subaru 使用 Ansys SCADE 控制 ECU

汽車製造的領導廠商將 95% 的開發流程自動化，其準確度、速度以及所節省的成本均是無可比擬比的水準。

「SCADE 解決方案不但能節省寶貴的時間，亦支援 Subaru 長期以來對於提供高品質產品與重視乘客安全的承諾。」

- Subaru 資深工程師 Yuji Kawakami

閱讀文章

在爭相推出新式混合型和電動車車款的市場中，Ansys SCADE 在過去十年成為 Subaru 的重要戰略工具，支援汽車製造商維持最高安全性和品質的承諾。在 ECU 端到端開發過程中，在不犧牲其控制軟體準確度的情況下省下的時間，是 Subaru 有能力引進創新技術的關鍵所在。

產生 ECU 軟體程式碼的流程，從定義控制邏輯開始，將汽車電子架構的所有零件整合在一起。這套邏輯規則可確保用安全可靠的方式整合汽車的所有電子裝置。它可以管理系統互動操作、在需要時發送警報，也可以在緊急情況下關閉系統。它控制車輛動態、引擎功能、車輛的耗電量以及電力電池的負載管理。

應用

檢視所有應用

確保產品擁有出色的安全性、可靠性、品質和合規性

Ansys SCADE Suite 是關鍵嵌入式軟體適用、以模型為基礎的開發環境，讓使用者可以在最低的專案認證成本進行關鍵嵌入式軟體之設計和驗證。其正式定義的 Scade 語言用直覺又明確的方式進行標記

主要特色

Ansys SCADE Suite 是一個以模型為基礎的完整解決方案，用於設計、分析、模擬和驗證關鍵應用的可靠嵌入式軟體。

進階以模型為基礎的設計
與軟體架構設計同步
模型分析
除錯和模擬
自動程式碼產生
SCADE 工具整合
系統模擬功能
嵌入式汽車軟體專用解決方案

向專家諮詢

以模型為基礎的進階設計

Ansys SCADE Suite 在連結組態管理、系統模擬和即時測試工具的全面整合環境中，提供軟體資料流與狀態機器設計及模擬功能。

透過 Ansys SCADE Suite，您將會使用直覺式且易用的圖形表示法，並支援資料流無限嵌套和階層式狀態機器。使用規則檢查程式來確定您的程式碼符合適用的標準。以 Python 為基礎的架構讓您可以建立自己的規則和指標，為每個專案量身打造解決方案。

影片：Ansys SCADE Suite 如何運作？

與軟體架構設計同步

Ansys SCADE Architect 和 Ansys SCADE Suite 整合，為您提供從架構到元件詳細設計之整個軟體設計過程所需的所有工具。

此一功能整合讓架構與設計可以平行演化，並可根據要求和專案里程碑進行同步化。架構和設計模型之間的雙向同步，可減少或消除介面同步化的重複工作，從而達成最高的效率。Ansys SCADE Suite 和 Ansys SCADE Architect 之間的同步，支援 IMA、FACE 和 AUTOSAR 等環境中的架構設計直至程式碼產生流程。

影片：軟體密集型嵌入式系統的整合式工作流程

模型分析

為確保 Ansys SCADE Suite 模型符合其需求，您可以執行靜態分析、根據規則檢查模型、評估安全需求以及執行時間和堆疊最佳化分析。

Ansys SCADE Suite 的程式碼產生程式可滿足模型中提供的規格，無需進行程式碼驗證。因此一定要驗證模型的行為正確無誤。我們的軟體配備多種模型層級分析，可驗證模型正確性並確保開發時間短。您將能夠執行模型的靜態分析。模型的靜態分析 (即檢查模型是否一致、資料流是否正確輸入、初始化是否正確完成) 是由程式碼產生器在前端完成，因此符合各種軟體安全標準的最高級別。使用規則檢查程式，您可以使用支援必要或建議規則合理化機制的、以 Python 為基礎的框架來自訂和新增特定檢查。

Ansys SCADE Suite Design Verifier 是一項驗證輔助程式，它會正式表明和評估安全需求，用高效的方法來在開發過程初期發現錯誤。它採用 Prover® 技術，並由啟用多核心且支援浮點運算的正式證明引擎提供支援。

除錯和模擬

Ansys SCADE Suite 模擬功能以實際產生的程式碼為基礎，為您提供強大的視覺除錯環境，可透過中斷點和監視點來檢查內部變數和輸出值。

Ansys SCADE Suite 讓您可以使用圖形和文字區塊定義軟體設計。定義後，您可以根據自動產成的程式碼使用模擬功能，模擬軟體設計或其任何單一區塊。模擬和除錯功能包括可執行檔設計、詳細模擬實際產生的程式碼、情境錄製和重播、早期檢測規格錯誤、自動非迴歸測試等。

自動程式碼產生

此程式碼產生器可在編碼階段節省驗證工作量，例如對 Ansys SCADE Suite KCG 產生的程式碼進行程式碼檢查和低層級測試。藉由這樣改善生產力，縮短了認證和/或修改的時間和工作量。

Ansys SCADE Suite KCG 是 Scade 模型的 C 和 Ada 程式碼產生器，而 Scade 模型已被認定可作為高達 A 級的 DO-178B 軟體以及 TQL-1 的 DO-178C/DO-330 之開發工具；獲得 IEC 61508 認證達 SIL 3 級，及獲得 EN 50128 認證達 SIL 3/4 級；符合 ISO 26262 軟體高達 ASIL D 標準，也就是說 KCG 開發流程符合這些軟體安全標準。Ansys SCADE Suite 支援使用多核心程式碼產生器生成多核心程式碼。在模型中標識特定的運算元實例，使其成為可平行執行的任務。這些任務的規格與模型各自獨立，可以進行各種組態。

影片：Ansys SCADE Suite 如何處理自動程式碼產生？

2020-12-scade-suite-scade tool integration.jpg

SCADE 工具整合

Ansys SCADE Suite 可輕鬆整合系統架構設計、HMI 開發與測試以及應用程式生命週期管理的工具，為所有嵌入式軟體開發活動提供完整的環境

系統模擬功能

Ansys Twin Builder 的系統模擬功能可以將同在一個環境的硬體和軟體連接起來，幫助您建立完整的產品虛擬系統原型。

Ansys SCADE Suite 的進階建模器包括 Twin Builder，這是一個用於建模、模擬和分析虛擬系統原型的強大平台。它使產品開發團隊能夠驗證其軟體控制之多域系統設計的效能並進行最佳化。

2020-12-scade-suite-Dedicated Solutions for Embedded Automotive Software.jpg

嵌入式汽車軟體專用解決方案

SCADE Automotive Package 包含 SCADE Architect、SCADE Suite 和 SCADE LifeCycle，支援 AUTOSAR R4.2.2、校準和定點支援，以及合格的程式碼產生功能。

Ansys SCADE Suite 擴大並簡化汽車市場的系統設計能力。它支援從 AUTOSAR Software Component (SWC) 開始，到產生符合 AUTOSAR RTE 標準的程式碼為止的 Runnables 開發流程：您可以根據 AUTOSAR 標準啟動開發流程，建立由 Ansys SCADE Suite 的 KCG 程式碼產生器所產生的符合 AUTOSAR RTE 標準的程式碼。您也可以使用此解決方案匯入和匯出 AUTOSAR ARXML 交換格式，允許系統工程師之間進行多重同步及產生符合標準的程式碼。