Skip to Main Content

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

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

以模型為基礎的設計

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

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

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

  • Check icon outline
    專為關鍵應用量身打造
  • Check icon outline
    驗證和確認
  • Check icon outline
    以模型為基礎的進階軟體設計
  • Check icon outline
    自動程式碼產生
2021-01-scade-suite-features.jpg

簡要規格

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

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

  • 成本降低高達 50%
  • 程式碼產生經認證
  • 以 Python 為基礎的 API
  • VRX、TwinBuilder 整合
  • 端對端可追溯性
  • 無縫目標整合
  • FMU-FMI、AUTOSAR 支援
  • Simulink 匯入、S-Function 匯出
  • 減少手動測試
  • 保證模型完整性
  • 使用者流程無縫整合
  • MISRA 合規性

Subaru 使用 Ansys SCADE 控制 ECU

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

2021-01-scade-suite-case-study-subaru.jpg

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

- Subaru 資深工程師 Yuji Kawakami

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

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

功能

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

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

 

主要特色

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

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

 

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

影片:Ansys SCADE Suite 如何運作?

此一功能整合讓架構與設計可以平行演化,並可根據要求和專案里程碑進行同步化。架構和設計模型之間的雙向同步,可減少或消除介面同步化的重複工作,從而達成最高的效率。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 如何處理自動程式碼產生?

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 交換格式,允許系統工程師之間進行多重同步及產生符合標準的程式碼。

資源與活動

案例研究

2020-12-case-study-icon-block.jpg

Ansys + Volkswagen

Ansys 與 Volkswagen 共同合作,進一步提升 SCADE 框架的能力,以持續進行整合與測試。

2020-12-case-study-icon-block.jpg

Ansys + Mecalac

針對重型建築設備的生產和操作制定工業安全準則,是防止發生人為事故 (包括意外事件) 以及在 Mecalac 日常作業中避免機器與材料損壞的關鍵。Mecalac 使用 SCADE 支援更有效率的軟體開發程序,提高了程式碼品質和 ISO 安全合規性,不僅明顯節省時間,也提高了整體營運效率。

 

攝影機

Ansys + Rail-Mil

在電氣化系統的每個複雜元件背後,都需要一個聰明又安全的軟體控制器,以便在元件和系統的整個生命週期內管理系統效能與安全性。

攝影機

Casco Signaling Company 與 Ansys

讀者會因為頁面上的內容排版方式而分心。


技術論文與資料表

2020-12-brochure-icon-block.jpg

Ansys SCADE Suite® 技術資料表

SCADE Suite 是 Ansys® 嵌入式軟體產品系列的一部分,它為使用者提供關鍵嵌入式軟體以模型為基礎的開發環境。

2020-12-brochure-icon-block.jpg

方法手冊

使用 SCADE Suite®高效開發具有 DO-178C 物鏡的安全航空電子軟體

Blog icon block
技術簡介

使用 SCADE 有效開發符合 EN 50128/EN 50657 標準的安全鐵路應用軟體

本方法手冊詳細說明如何完全滿足 EN 50128:2011 (通訊、訊號和處理系統) 和 EN 50657:2017 (軌道車輛應用領域的軟體) 的要求,並採用 SCADE 模型式開發方法來打造安全可靠的軟體,同時推動以模型為基礎的高效率開發與驗證策略。


白皮書

2020-12-white-paper-icon-block.jpg
White Paper

迎向挑戰:開發大型電池管理系統的全面策略

本白皮書說明如何使用 Ansys 解決方案進行電池管理,包括使用 Ansys Twin Builder 開發系統層級電池檢視的物理型模擬解決方案、用於安全分析的 Ansys medini analyze,以及用於嵌入式軟體開發的 Ansys SCADE。


隨選網路研討會

 


部落格

Blog icon block
作者: TIM PULS & MICHAEL REISS

利用多核心環境達成更快驗證與合規

Ansys 和 Elektrobit 建立了一個嚴格控制的自動化程序,可透過強大的多核心環境產生並驗證符合 AUTOSAR 規範的嵌入式軟體程式碼。 

Blog icon block
作者:MAZEN EL HOUT

使用模擬提高電池管理系統安全性的 4 種方法

讓我們來瞭解您可以使用模擬的四種方法,以設計一個能滿足效率、安全和可靠性等主要挑戰的電池管理系統。

Blog icon block
作者:HONG CHASSAN

所有系統都針對嵌入式軟體採用以模型為基礎的設計

Ansys SCADE Suite 是一種以模型為基礎的開發環境,能開發可靠嵌入式軟體,經由多合一平台提供端對端解決方案。

Blog icon block
作者:VISHAL GANORE

可以免費下載 Ansys SCADE Student

瞭解 Ansys SCADE Student 以及如何取得此軟體。

Blog icon block
作者:KARA GREMILLION

工程師展示如何驗證車道偏離警示系統

進階駕駛輔助系統 (ADAS),例如車道偏離警示系統 (或車道輔助系統),已成為汽車產業的賣點。這些工具可以拯救因為緊急狀況、急轉彎或長途疲累駕駛而偏離車道的駕駛人的性命。


Ansys 軟體產品輔助

對 Ansys 而言,讓所有人皆能使用本公司產品非常重要,身心障礙者也不例外。因此,我們致力於遵循美國無障礙委員會 (第 508 節)、無障礙網頁內容規範 (WCAG)、自願性產品輔助工具範本 (VPAT) 當前格式等各項無障礙需求。

查看 Ansys 的服務與產品

立即聯絡我們

* = 必填欄位

感謝您聯絡我們!

我們將在此解答您的問題,並期待與您交流互動。Ansys 的銷售團隊成員會立即與您聯絡。

Footer Image