ANSYS SCADE 2021/2024是一款用于安全關鍵嵌入式軟件的模型驅(qū)動開發(fā)工具包。通過使用專用軟件工具和經(jīng)過認證的代碼生成器，系統(tǒng)工程師和開發(fā)人員可以避免編碼錯誤并遵守嚴格的認證標準。工具 Ansys SCADE 廣泛應用于從設計飛機控制系統(tǒng)或遠程控制核電站之前的所有行業(yè)。 - 汽車的機器界面。

模塊 Ansys SCADE

Ansys SCADE 架構(gòu)師

對可靠性和安全性有高要求的系統(tǒng)的集成設計環(huán)境，支持流程、行業(yè)標準 ARP 4754A、ISO 26262 和 EN 50126

Ansys SCADE Architect 的主要功能：

-系統(tǒng)需求分析

- 用于系統(tǒng)需求分析、功能設計、架構(gòu)設計和系統(tǒng)組件的高級建模器編輯器

- 使用圖表進行系統(tǒng)分析：用例、序列、活動、狀態(tài)、功能塊、

內(nèi)部模塊和參數(shù)圖

-定義和導入/導出數(shù)據(jù)流

- 描述數(shù)據(jù)對象的表格方式，自定義表格格式的能力

- 支持所有標準圖形功能和圖表樣式的可視化組件控制

-模型導航和搜索

-協(xié)作支持

-使用指定的建模規(guī)則進行模型合規(guī)性檢查

- 以 RTF 或 HTML 格式報告

-模型拆分合并，匹配不同模型版本

-自動創(chuàng)建接口控制文檔（ICD）

- 架構(gòu)模型系統(tǒng)和項目模型之間的雙向同步

-根據(jù)行業(yè)標準和自定義規(guī)則配置系統(tǒng)設計環(huán)境

- 將元素和要求導出到 Ansys Twin Builder

-用于汽車和航空電子設備以及 FACE 標準的其他設計模式包.......

功能特色

1、先進的基于模型的設計

Ansys SCADE Suite在與配置管理、系統(tǒng)仿真和實時測試工具相連接的完全集成環(huán)境中提供軟件數(shù)據(jù)流和狀態(tài)機設計和仿真功能。

借助Ansys SCADE Suite，您將使用直觀的圖形符號，支持數(shù)據(jù)流和分層狀態(tài)機的無限嵌套。使用規(guī)則檢查器確保您的代碼符合適用標準?；赑ython的框架使您能夠為每個項目的完全量身定制的解決方案創(chuàng)建自己的規(guī)則和指標。

2、與軟件架構(gòu)設計同步

Ansys SCADE Architect和Ansys SCADE Suite的集成為您提供了從架構(gòu)到組件詳細設計的完整軟件設計流程所需的所有工具。

這種集成支持架構(gòu)和設計的并行演進，并根據(jù)要求和項目里程碑提供同步。架構(gòu)和設計模型之間的雙向同步減少或消除了同步接口以實現(xiàn)最大效率的重復工作。Ansys SCADE Suite和Ansys SCADE Architect之間的同步支持架構(gòu)設計到IMA、FACE和AUTOSAR等上下文中的代碼生產(chǎn)流程。

3、模型分析

為確保Ansys SCADE Suite模型符合其要求，您可以執(zhí)行靜態(tài)分析、根據(jù)規(guī)則檢查模型、評估安全要求以及執(zhí)行時序和堆棧優(yōu)化分析。

Ansys SCADE Suite的代碼生成器無需代碼驗證即可滿足模型中提供的規(guī)范。因此，驗證模型的行為是否正確至關重要。我們的軟件配備了多個模型級分析，以驗證模型的正確性并確保較短的開發(fā)時間。您將能夠?qū)δＰ瓦M行靜態(tài)分析。模型的靜態(tài)分析（即檢查模型是否一致，數(shù)據(jù)流類型是否正確，初始化是否正確完成）由代碼生成器的前端完成，因此在各種軟件安全的最高級別上合格標準。借助規(guī)則檢查器，您可以使用基于Python的框架自定義和添加特定檢查，該框架支持必需或建議規(guī)則的證明機制。

Ansys SCADE Suite Design Verifier是一種驗證助手，可正式表達和評估安全要求，提供一種在開發(fā)過程早期發(fā)現(xiàn)錯誤的有效方法。它由Prover®技術提供支持，并由支持浮點計算的多核形式證明引擎提供支持。

4、調(diào)試和仿真

Ansys SCADE Suite仿真功能基于實際生成的代碼，為您提供強大的可視化調(diào)試環(huán)境，支持斷點和觀察點來檢查內(nèi)部變量和輸出值。

Ansys SCADE Suite允許您使用圖形和文本塊定義軟件設計。定義后，您可以使用基于自動生成的代碼的仿真功能來仿真軟件設計或其任何單個模塊。仿真和調(diào)試功能包括可執(zhí)行設計、實際生成代碼的詳細仿真、場景記錄和回放、規(guī)范錯誤的早期檢測、自動非回歸測試等。

5、自動代碼生成

此代碼生成器可節(jié)省編碼階段的驗證工作，例如對Ansys SCADE Suite KCG生成的代碼進行代碼審查和低級測試。這種生產(chǎn)力的提高縮短了認證和/或修改的時間和精力。

Ansys SCADE Suite KCG是來自Scade模型的C和Ada代碼生成器，已被認證為A級DO-178B軟件和TQL-1的DO-178C/DO-330的開發(fā)工具；通過IEC 61508 SIL 3認證和EN 50128 SIL 3/4認證；并符合ISO 26262軟件的最高ASIL D標準，這意味著KCG開發(fā)過程符合這些軟件安全標準。Ansys SCADE Suite支持使用多核代碼生成器生成多核代碼。在模型中識別操作符的特定實例成為可并行化的任務。這些任務的規(guī)范獨立于模型，允許進行各種配置。

6、SCADE工具集成

Ansys SCADE Suite可輕松與用于系統(tǒng)架構(gòu)設計、HMI開發(fā)和測試以及應用程序生命周期管理的工具集成，為所有嵌入式軟件開發(fā)活動提供完整的環(huán)境

7、系統(tǒng)仿真能力

Ansys Twin Builder的系統(tǒng)仿真功能通過在一個環(huán)境中連接硬件和軟件，幫助您構(gòu)建產(chǎn)品的完整虛擬系統(tǒng)原型。

Ansys SCADE Suite的Advanced Modeler包括Twin Builder，這是一個用于對虛擬系統(tǒng)原型進行建模、仿真和分析的強大平臺。它使產(chǎn)品開發(fā)團隊能夠驗證和優(yōu)化其軟件控制的多域系統(tǒng)設計的性能。

8、嵌入式汽車軟件的專用解決方案

SCADE Automotive Package包含SCADE Architect、SCADE Suite和SCADE LifeCycle，以提供AUTOSAR R4.2.2支持、校準和定點支持以及合格代碼生成。

Ansys SCADE Suite擴展并簡化了汽車市場的系統(tǒng)設計功能。它支持從AUTOSAR軟件組件(SWC)到Runnables的AUTOSAR RTE兼容代碼生成的開發(fā)流程：您可以啟動基于AUTOSAR標準的開發(fā)流程，以創(chuàng)建由Ansys SCADE Suite的KCG代碼生成的AUTOSAR RTE兼容代碼發(fā)電機。該解決方案還使您能夠?qū)牒蛯С鯝UTOSAR ARXML交換格式，允許系統(tǒng)工程師之間進行多重同步并生成合規(guī)代碼。

安裝激活教程

1、在本站下載并解壓，如圖所示

2、安裝程序，將ANSYS Inc文件夾復制到計算機的任何根驅(qū)動器（C：，D：，E：等），創(chuàng)建用戶和系統(tǒng)變量

ANSYSLIC_DIR 指向文件夾 ..\ANSYS Inc\Shared Files\licensing

ANSYSLMD_LICENSE_FILE 指向文件 ..\ANSYS Inc\Shared Files\licensing\license_files\ansyslmd.lic

3、運行“SolidSQUADLoaderEnabler.reg”并確認將信息添加到 Windows 注冊表中

4、重啟，安裝ANSYS SCADE 2021R2 Win64，選擇安裝內(nèi)容

5、勾選我接受許可證協(xié)議條款

6、選擇軟件安裝目錄

7、安裝完成，退出向?qū)?，將SCADE文件夾復制到安裝目錄中，點擊替換目標中的文件

使用說明

1、基于模型的系統(tǒng)工程

基于模型的系統(tǒng)工程（MBSE）是在整個開發(fā)周期中使用系統(tǒng)模型定義需求，設計，分析以及驗證和確認活動的關鍵。它使用不斷發(fā)展的模型而不是書面的設計規(guī)范來跟蹤這些相互依賴關系，因此即使您繼續(xù)更改設計，也可以確保所有子系統(tǒng)都在一個微調(diào)的整體中嚙合在一起。

2、嵌入式控制軟件開發(fā)

從商用飛機到自動駕駛汽車的應用越來越多，嵌入式軟件開發(fā)過程的質(zhì)量決定了運營效率和安全性。經(jīng)過認證的代碼生成器（例如ANSYS SCADE中的代碼生成器）可確保您的嵌入式軟件能夠按計劃，首次且每次都能正常工作。

3、人機界面軟件

盡管具有全部自主權(quán)，但是當今的智能產(chǎn)品仍然偶爾必須通過直觀，易于使用的人機界面與人互動。您可以使用軟件開發(fā)和ANSYS認證的代碼生成工具來優(yōu)化界面的可用性和可靠性。

4、虛擬系統(tǒng)原型

盡管物理原型對于新產(chǎn)品的后期測試仍然很有價值，但是當您在過程的早期探索多種設計可能性時，數(shù)字原型是唯一的選擇。數(shù)字系統(tǒng)原型制作可節(jié)省您的時間和金錢，從而引導您在過時的構(gòu)建和測試方法的一小部分時間內(nèi)進行最佳產(chǎn)品設計。

5、功能安全分析

汽車，航空航天和國防，鐵路，核能等行業(yè)中電子控制系統(tǒng)的功能安全性的分析和驗證對于系統(tǒng)設計和實施至關重要。