SCADE Suite的案例
嵌入式系統 | 基于SCADE Suite模型的驗證
考察DO-178C的流程，Suite模型通常相當于低層需求，則Suite模型、仿真用例和仿真規程都是基于高層需求設計的。如果仿真用例和仿真規程用于正式驗證置信度，那么，仿真用例和仿真規程的準確性需要驗證，仿真結果需要評審，仿真結果與預期結果的差異需要解釋。
1.3 SCADE Suite模型支持的驗證工具
SCADE模型檢查器 (Model Checker) 支持靜態檢查Suite模型的語法語義，這是最基本的驗證活動，也是成功運行其他SCADE驗證工具和方法的前提。它通過一組內置的規則檢查SCADE模型，檢查完畢后生成報告，其中包含檢測到的可能的警告或錯誤。其主要功能是檢查1.丟失的或多余的定義；2類型一致性；3. 時序一致性；4. 因果分析的一致性；5. 初始化分析一致性等規則。
SCADE模型仿真器 (Model Simulation) 支持在PC端仿真模型的行為，也可以作為QTE大規模自動化模型仿真活動之前的預仿真。SCADE 仿真器是可視化的調試環境，支持斷點設定，測試用例的保存、載入、測試結果的輸出等功能完成模型仿真。
SCADE認證級測試環境 (Qualified Test Environment) 是一套自動化環境，除融合了模型仿真和模型覆蓋驗證功能外，還支持管理仿真用例、仿真規程和仿真結果。
SCADE模型覆蓋分析 (Model Coverage) 支持低層需求的覆蓋驗證。除了可以單獨執行外，更常見的操作是基于QTE進行大規模自動化的模型覆蓋。
展開 嵌入式系統 | 基于SCADE Suite模型的驗證
考察DO-178C的流程，Suite模型通常相當于低層需求，則Suite模型、仿真用例和仿真規程都是基于高層需求設計的。如果仿真用例和仿真規程用于正式驗證置信度，那么，仿真用例和仿真規程的準確性需要驗證，仿真結果需要評審，仿真結果與預期結果的差異需要解釋。
1.3 SCADE Suite模型支持的驗證工具
SCADE模型檢查器 (Model Checker) 支持靜態檢查Suite模型的語法語義，這是最基本的驗證活動，也是成功運行其他SCADE驗證工具和方法的前提。它通過一組內置的規則檢查SCADE模型，檢查完畢后生成報告，其中包含檢測到的可能的警告或錯誤。其主要功能是檢查1.丟失的或多余的定義；2類型一致性；3. 時序一致性；4. 因果分析的一致性；5. 初始化分析一致性等規則。
SCADE模型仿真器 (Model Simulation) 支持在PC端仿真模型的行為，也可以作為QTE大規模自動化模型仿真活動之前的預仿真。SCADE 仿真器是可視化的調試環境，支持斷點設定，測試用例的保存、載入、測試結果的輸出等功能完成模型仿真。
SCADE認證級測試環境 (Qualified Test Environment) 是一套自動化環境，除融合了模型仿真和模型覆蓋驗證功能外，還支持管理仿真用例、仿真規程和仿真結果。
SCADE模型覆蓋分析 (Model Coverage) 支持低層需求的覆蓋驗證。除了可以單獨執行外，更常見的操作是基于QTE進行大規模自動化的模型覆蓋。
以上四個工具可應用于SCADE開發安全關鍵項目中最基本的驗證活動。
展開 SCADE — 產品級安全關鍵系統的MBD開發套件
? SCADE汽車包，專為汽車領域提供SCADE Architect 和SCADE Suite專業擴展，包括:
? AUTOSAR定制符合AUTOSAR4.2.2標準
? 支持SCADE Architect項目ARXML文件的導入/導出
? 支持SCADE Architect和SCADE Suite進行雙向同步，確保架構模型和詳細設計模型一致性
? SCADE Suite生成的代碼符合AUTOSAR標準
? 支持ASAM MCD-2 DC（aka ASAP2）軟件標定和測量
展開 精確建模，無縫集成 | 《ANSYS電機驅動系統設計仿真解決方案》現已開放領取
控制代碼自動生成
· 功能原理
· 模塊構成
----SCADE Suite Advanced Modeler（高級建模器）
----SCADE Suite MTC（模型覆蓋率分析）
----SCADE Suite KCG（代碼生成器）
----SCADE Suite RM GATEWAY（需求管理工具）
· 應用方案技術指標
· 應用方案特點
5. 電驅動系統集成化設計
6. 電驅動系統EMI/EMC
· 重要性
· 技術難題
· ANSYS解決方案
· ANSYS解決方案的典型應用
----線纜選型和寄生參數提取
----線纜電磁輻射分析與布局優化
----電磁設備傳導及輻射特性分析
----PCB控制板的電磁干擾分析
----機箱機柜屏蔽效能分析
----系統電磁環境對醫療設備的干擾
----系統設備布局和電磁隔離度分析
7. 電驅動系統熱設計
二、本期資料如何獲取？
掃碼關注“上海安世亞太”微信公眾號
后臺回復“JSL”
即可獲得完整版資料冊
資料將在1-3個工作日內
發送至您的郵箱
展開 
SCADE—產品級安全關鍵系統的MBD開發套件
借助SCADE LifeCycle，參與關鍵應用開發的所有系統和軟件團隊都可以在SCADE應用的整個生命周期內，管理和控制其設計和驗證活動
SCADE汽車包：專為汽車領域提供SCADE Architect和SCADE Suite擴展，包括
? AUTOSAR定制符合AUTOSAR4.2.2標準
? 支持SCADE Architect項目ARXML文件的導入/導出
? 支持SCADE Architect和SCADE Suite進行雙向同步，確保架構模型和詳細設計模型一致性
? SCADE Suite生成的代碼符合AUTOSAR標準
? 支持ASAMMCD-2DC(aka ASAP2)軟件標定和測量
應用案例
德國大眾：自2016年開始，基于SCADE在BMS、EPS中構建軟件，滿足ISO 26262 ASILC/D的應用要求。通過多個項目的比較評估，可以有效減少56%的開發時間，為項目節省30%的人力和成本
斯巴魯：在推出新混合動力和電動車型的市場競爭中，Ansys SCADE在過去10年已經成為斯巴魯的一項重要戰略工具，兌現汽車制造商對于出色安全性和可靠性的承諾。節省ECU的端到端開發時間，同時保持其控制軟件的準確性，這對于斯巴魯推出創新技術至關重要
主要客戶
大眾、寶馬、斯巴魯、NEVS、Faraday Future、馬自達、TOYOTA TSUSHO ELECTRONICS、德爾福、DENSO、DURA、Method Electronics、Autodrive Solutions等。
展開 嵌入式系統 | 基于SCADE Display模型的驗證
在上期#嵌入式系統Ansys SCADE系列專題內容中，我們為大家帶來了《基于SCADE Suite模型的驗證》的介紹，本次主題將針對基于SCADE Display模型的驗證做相關分享，分別從基于SCADE Display模型的基礎驗證活動、認證級測試環境QTE，以及基于SCADE Display的含Suite模型的白盒聯合仿真等方面做闡述。
1
基于SCADE Display模型的基礎驗證活動
由于SCADE Display同樣是使用基于模型的開發和驗證方式，所以使用SCADE Display后，驗證手段也是在評審、分析和測試的基礎上多了模型仿真。絕大部分驗證活動概念相關的內容可參考《基于SCADE Suite模型的驗證》第一章節的內容，本文不再贅述。下面先介紹大規模自動化驗證前的測試活動。
1.1 模型檢查與模型更正
模型檢查是模型仿真測試的基礎。但不同于SCADE Suite有一系列必需檢查的嚴格的語法語義規則，SCADE Display模型檢查的規則是可定制的，規則主要涉及兩大類：1.
展開 3/22 Ansys SCADE 2022 R1 新功能
內容簡介
1.SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架構設計新特性
2.SCADE Achitect支持對Dassualt的Cameo架構文件導入，支持對EA的Sparx文件導入
3.SCADE Suite UI的改進
4.SCADE Suite中形式化驗證對抽象對象分析介紹
5.SCADE Suite/Test中基于形式化驗證的模型覆蓋分析方法介紹和應用
6.SCADE Display新增8個特效容器，對復雜字體顯示的支持
7.SCADE Display對3D圖元的支持
8.SCADE Lifecycle改進更新
9.SCADE對AbsInt WCET支持的策略變化
10.文檔更新 EN 50128 A661方案
面向受眾
SCADE工具用戶，航空航天，軌道交通、汽車電子領域中系統架構設計，軟件開發驗證
時間
2022年3月22日（周二）16:00-17:00
展開 嵌入式系統 | 基于SCADE Display模型的驗證
在上期#嵌入式系統Ansys SCADE系列專題內容中，我們為大家帶來了《基于SCADE Suite模型的驗證》的介紹，本次主題將針對基于SCADE Display模型的驗證做相關分享，分別從基于SCADE Display模型的基礎驗證活動、認證級測試環境QTE，以及基于SCADE Display的含Suite模型的白盒聯合仿真等方面做闡述。
1
基于SCADE Display模型的基礎驗證活動
由于SCADE Display同樣是使用基于模型的開發和驗證方式，所以使用SCADE Display后，驗證手段也是在評審、分析和測試的基礎上多了模型仿真。絕大部分驗證活動概念相關的內容可參考《基于SCADE Suite模型的驗證》第一章節的內容，本文不再贅述。下面先介紹大規模自動化驗證前的測試活動。
1.1 模型檢查與模型更正
模型檢查是模型仿真測試的基礎。但不同于SCADE Suite有一系列必需檢查的嚴格的語法語義規則，SCADE Display模型檢查的規則是可定制的，規則主要涉及兩大類：1. 檢查是否滿足常用圖形設計建模要求，例如圓、弧的半徑不應為0，一些命名規則定義等；2.
展開 ANSYS和KRONO-SAFE推出面向關鍵航空航天應用的集成型軟件平臺
KRONO-SAFE的集成型實時操作系統平臺ASTERIOS?配合ANSYS的嵌入式軟件ANSYS? SCADE Suite?，能為航空航天客戶提供實時的集成型流程，其非常適合滿足單核或多核平臺上運行的安全關鍵型航空電子多速率應用的需求。SCADE Suite可用于安全自動化應用軟件的研發，ASTERIOS能夠提供安全自動化實時集成功能、并針對多核平臺進行擴展，而這款全新的航空電子自動化設計流程則是集二者之大成。
這款綜合解決方案是在智能安全平臺（S3P）研發項目中完成研發的。S3P項目旨在研發安全智能的軟件研發與執行平臺，以促進物聯網設備、網關和應用的快速低成本研發、部署及使用。
展開 高效管理大型電池系統
ANSYS電池管理解決方案包含基于物理場的仿真，使用ANSYS Twin Builder、ANSYS medini analyze以及直接面向BMS的ANSYS SCADE嵌入式代碼為BMS開發系統級電池視圖。
通過多物理場系統仿真方法
進行電氣驅動建模
針對電池安全性的ANSYS Medini analyze與SCADE嵌入式代碼
View larger image
基于ANSYS Twin Builder的系統建模
ANSYS Medini analyze可根據不同行業的不同標準進行關鍵的安全分析程序，包括危險與可操作性分析[HAZOP]、故障樹分析[FTA]、失效模式和影響分析[FMEA]以及失效模式、影響及診斷分析[FMEDA]。它可以校核汽車系統的BMS軟件是否符合ISO 26262道路車輛功能安全標準。
安全分析首先要識別和描述BMS的功能與故障。一旦發現故障，則進行危險和風險分析(HARA)，以便確定汽車安全完整性等級(ASIL)、相應安全目標和安全要求，從而確認危險事件及其安全性影響。某些BMS功能要求嚴格的研發過程，標準要求達到ASIL D級，這是ISO 26262最高的安全完整性等級。
此安全等級同時也對相關軟件提出了非常嚴格的安全要求。
BMS一般具有三個架構組件：
包含多個獨立電池的電池組（電池堆）
配電箱
電子控制器(ECU)，包含用于監控電池電壓、溫度與電流的軟件控制器
采用ANSYS SCADE Suite可以自動生成和檢驗ECU中的嵌入式軟件。SCADE產品系列為關鍵嵌入式軟件提供模型化研發環境，如：飛行控制與引擎控制系統。SCADE Suite通過簡化關鍵控制應用程序設計，自動執行驗證，生成限制/認證代碼與文檔，從而大幅降低項目認證費用。
展開 “中車SCADE軟件建模勞動競賽”圓滿結束
Ansys SCADE 基于模型的嵌入式安全軟件開發工具鏈
Ansys SCADE 車載安全嵌入式軟件解決方案，提供全生命周期的基于模型的開發工具鏈，涵蓋軟件架構設計、詳細設計、代碼自動生成、軟件單元測試、集成測試、過程追溯以及相應文檔生成，客戶可根據自生需要選擇單點工具或整套工具鏈。
Ansys SCADE Architect
嵌入式系統&軟件架構設計工具，支持SysML和AUTOSAR CP標準
Ansys SCADE Suite
嵌入式系統控制軟件詳細設計工具，支持建模、仿真、自動生成高質量的符合ISO26262 ASIL D級的代碼
Ansys SCADE Display
嵌入式系統人機界面設計工具，支持所見即所得的圖形建模、仿真、自動生成高質量的符合ISO26262 ASIL D級的代碼
Ansys SCADE Tester
嵌入式軟件的自動測試環境，用來進行基于Ansys SCADE Suite和Display設計模型的功能測試以及覆蓋率（DC和MC/DC）的獲取和分析
Ansys SCADE Lifecycle
基于Ansys SCADE開發環境的嵌入式系統開發生命周期管理和支持工具，包括設計文檔的自動生成、建立模型和需求的追溯關系以及模型的構型管理支持等等。
展開 
Ansys新品發布會 | 3月活動安排一覽
點擊預約
3月22日 | Ansys SCADE 2022 R1 新功能
簡介：1. SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架構設計新特性；2. SCADE Achitect支持對Dassualt的Cameo架構文件導入，支持對EA的Sparx文件導入；3. SCADE Suite UI的改進；4. SCADE Suite中形式化驗證對抽象對象分析介紹 ；5. SCADE Suite/Test中基于形式化驗證的模型覆蓋分析方法介紹和應用；6. SCADE Display新增8個特效容器，對復雜字體顯示的支持；7. SCADE Display對3D圖元的支持；8. SCADE Lifecycle改進更新；9. SCADE對AbsInt WCET支持的策略變化；10.
展開 Ansys新品發布會 | 3月活動安排一覽
點擊預約
3月22日 | Ansys SCADE 2022 R1 新功能
簡介：1. SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架構設計新特性；2. SCADE Achitect支持對Dassualt的Cameo架構文件導入，支持對EA的Sparx文件導入；3. SCADE Suite UI的改進；4. SCADE Suite中形式化驗證對抽象對象分析介紹 ；5. SCADE Suite/Test中基于形式化驗證的模型覆蓋分析方法介紹和應用；6. SCADE Display新增8個特效容器，對復雜字體顯示的支持；7. SCADE Display對3D圖元的支持；8. SCADE Lifecycle改進更新；9. SCADE對AbsInt WCET支持的策略變化；10.
展開 Ansys新品發布會 | 鎖定首輪2022年新功能更新網絡研討會
點擊預約
3月22日 | Ansys SCADE 2022 R1 新功能
簡介：1. SCADE Achitect的新功能，添加FACE 3.1版本支持，新增AutoSAR架構設計新特性；2. SCADE Achitect支持對Dassualt的Cameo架構文件導入，支持對EA的Sparx文件導入；3. SCADE Suite UI的改進；4. SCADE Suite中形式化驗證對抽象對象分析介紹 ；5. SCADE Suite/Test中基于形式化驗證的模型覆蓋分析方法介紹和應用；6. SCADE Display新增8個特效容器，對復雜字體顯示的支持；7. SCADE Display對3D圖元的支持；8. SCADE Lifecycle改進更新；9. SCADE對AbsInt WCET支持的策略變化；10.
展開 ANSYS 16.0 系列在線培訓(送亞馬遜禮品卡華為Mate7 尊爵版）
■ No.1：ANSYS 16.0 Workbench網格剖分技巧
2015年2月10日 20:00-21:00 點此報名 查看詳情
■ No.2：ANSYS 16.0 HFSS的新功能
2015年2月12日 14:00-15:00 點此報名 查看詳情
■ No.3：ANSYS 16.0 Maxwell的新功能
2015年3月4日 14:00-15:00 點此報名 查看詳情
■ No.4：ANSYS 16.0 Icepak的新功能
2015年3月5日 20:00-21:00 點此報名 查看詳情
■ No.5：ANSYS 16.0 電磁兼容設計平臺
2015年3月10日 20:00-21:00 點此報名 查看詳情
■ No.6：ANSYS 16.0 流體動力學仿真新功能
2015年3月11日 14:00-15:00 點此報名 查看詳情
■ No.7：ANSYS 16.0 SCADE Display
2015年3月12日 20:00-21:00 點此報名 查看詳情
■ No.8：ANSYS 16.0 電機設計平臺
2015年3月17日 20:00-21:00 點此報名 查看詳情
■ No.9：ANSYS 16.0 結構仿真新功能
2015年3月18日 14:00-15:00 點此報名 查看詳情
■ No.10：ANSYS 16.0 流體動力學仿真新功能
2015年3月19日 20:00-21:00 點此報名 查看詳情
■ No.11：ANSYS 16.0 Workbench 幾何結構處理概述
2015年3月24日 20:00-21:00 點此報名 查看詳情
■ No.12：ANSYS 16.0 SCADE Suite
2015年3月25日 14:00-
展開 