簡要規格
Ansys SCADE Suite 簡化關鍵控制應用之設計，並自動化執行驗證、可限定條件/經認證的程式碼產生功能以及文件產生功能，大幅降低安全認證成本。
Ansys SCADE Suite 因為支援互通性標準，而且具備以 Python 為基礎的自訂功能，所以可與使用者流程緊密整合。
以模型為基礎的設計
可靠的嵌入式控制軟體是在 Ansys SCADE Suite 中建立的
現代的汽車、飛機和其他複雜工業產品由多種電子元件組成，完美整合以提供關鍵功能。這些進階系統的基礎是數百萬行的嵌入式軟體程式碼，可確保在每一種操作環境下運行皆無缺失。
Ansys SCADE Suite 節省了驗證工作並提高了工作效率，同時不影響關鍵應用的安全性和可靠性。
-
專為關鍵應用量身打造
-
驗證和確認
-
以模型為基礎的進階軟體設計
-
自動程式碼產生
-
成本降低高達 50% -
程式碼產生經認證 -
以 Python 為基礎的 API -
VRX、TwinBuilder 整合
-
端對端可追溯性 -
無縫目標整合 -
FMU-FMI、AUTOSAR 支援 -
Simulink 匯入、S-Function 匯出
-
減少手動測試 -
保證模型完整性 -
使用者流程無縫整合 -
MISRA 合規性
Subaru 使用 Ansys SCADE 控制 ECU
汽車製造的領導廠商將 95% 的開發流程自動化，其準確度、速度以及所節省的成本均是無可比擬比的水準。
在爭相推出新式混合型和電動車車款的市場中，Ansys SCADE 在過去十年成為 Subaru 的重要戰略工具，支援汽車製造商維持最高安全性和品質的承諾。在 ECU 端到端開發過程中，在不犧牲其控制軟體準確度的情況下省下的時間，是 Subaru 有能力引進創新技術的關鍵所在。
產生 ECU 軟體程式碼的流程，從定義控制邏輯開始，將汽車電子架構的所有零件整合在一起。這套邏輯規則可確保用安全可靠的方式整合汽車的所有電子裝置。它可以管理系統互動操作、在需要時發送警報，也可以在緊急情況下關閉系統。它控制車輛動態、引擎功能、車輛的耗電量以及電力電池的負載管理。
功能
確保產品擁有出色的安全性、可靠性、品質和合規性
Ansys SCADE Suite 是關鍵嵌入式軟體適用、以模型為基礎的開發環境，讓使用者可以在最低的專案認證成本進行關鍵嵌入式軟體之設計和驗證。其正式定義的 Scade 語言用直覺又明確的方式進行標記
主要特色
Ansys SCADE Suite 是一個以模型為基礎的完整解決方案，用於設計、分析、模擬和驗證關鍵應用的可靠嵌入式軟體。
- 進階以模型為基礎的設計
- 與軟體架構設計同步
- 模型分析
- 除錯和模擬
- 自動程式碼產生
- SCADE 工具整合
- 系統模擬功能
- 嵌入式汽車軟體專用解決方案
透過 Ansys SCADE Suite，您將會使用直覺式且易用的圖形表示法，並支援資料流無限嵌套和階層式狀態機器。使用規則檢查程式來確定您的程式碼符合適用的標準。以 Python 為基礎的架構讓您可以建立自己的規則和指標，為每個專案量身打造解決方案。
此一功能整合讓架構與設計可以平行演化，並可根據要求和專案里程碑進行同步化。架構和設計模型之間的雙向同步，可減少或消除介面同步化的重複工作，從而達成最高的效率。Ansys SCADE Suite 和 Ansys SCADE Architect 之間的同步，支援 IMA、FACE 和 AUTOSAR 等環境中的架構設計直至程式碼產生流程。
Ansys SCADE Suite 的程式碼產生程式可滿足模型中提供的規格，無需進行程式碼驗證。因此一定要驗證模型的行為正確無誤。我們的軟體配備多種模型層級分析，可驗證模型正確性並確保開發時間短。您將能夠執行模型的靜態分析。模型的靜態分析 (即檢查模型是否一致、資料流是否正確輸入、初始化是否正確完成) 是由程式碼產生器在前端完成，因此符合各種軟體安全標準的最高級別。使用規則檢查程式，您可以使用支援必要或建議規則合理化機制的、以 Python 為基礎的框架來自訂和新增特定檢查。
Ansys SCADE Suite Design Verifier 是一項驗證輔助程式，它會正式表明和評估安全需求，用高效的方法來在開發過程初期發現錯誤。它採用 Prover® 技術，並由啟用多核心且支援浮點運算的正式證明引擎提供支援。
Ansys SCADE Suite 讓您可以使用圖形和文字區塊定義軟體設計。定義後，您可以根據自動產成的程式碼使用模擬功能，模擬軟體設計或其任何單一區塊。模擬和除錯功能包括可執行檔設計、詳細模擬實際產生的程式碼、情境錄製和重播、早期檢測規格錯誤、自動非迴歸測試等。
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 可輕鬆整合系統架構設計、HMI 開發與測試以及應用程式生命週期管理的工具，為所有嵌入式軟體開發活動提供完整的環境
Ansys SCADE Suite 的進階建模器包括 Twin Builder，這是一個用於建模、模擬和分析虛擬系統原型的強大平台。它使產品開發團隊能夠驗證其軟體控制之多域系統設計的效能並進行最佳化。
Ansys SCADE Suite 擴大並簡化汽車市場的系統設計能力。它支援從 AUTOSAR Software Component (SWC) 開始，到產生符合 AUTOSAR RTE 標準的程式碼為止的 Runnables 開發流程：您可以根據 AUTOSAR 標準啟動開發流程，建立由 Ansys SCADE Suite 的 KCG 程式碼產生器所產生的符合 AUTOSAR RTE 標準的程式碼。您也可以使用此解決方案匯入和匯出 AUTOSAR ARXML 交換格式，允許系統工程師之間進行多重同步及產生符合標準的程式碼。
資源與活動
案例研究
技術論文與資料表
隨選網路研討會
部落格
Ansys 軟體產品輔助
對 Ansys 而言，讓所有人皆能使用本公司產品非常重要，身心障礙者也不例外。因此，我們致力於遵循美國無障礙委員會 (第 508 節)、無障礙網頁內容規範 (WCAG)、自願性產品輔助工具範本 (VPAT) 當前格式等各項無障礙需求。
See What Ansys Can Do For You
See What Ansys Can Do For You
Contact Us
Contact us today
