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

模塊 Ansys SCADE

Ansys SCADE 架構(gòu)師

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

Ansys SCADE Architect 的主要功能：

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

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

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

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

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

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

- 支持所有標(biāo)準(zhǔn)圖形功能和圖表樣式的可視化組件控制

-模型導(dǎo)航和搜索

-協(xié)作支持

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

- 以 RTF 或 HTML 格式報(bào)告

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

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

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

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

- 將元素和要求導(dǎo)出到 Ansys Twin Builder

-用于汽車和航空電子設(shè)備以及 FACE 標(biāo)準(zhǔn)的其他設(shè)計(jì)模式包.......

功能特色

1、先進(jìn)的基于模型的設(shè)計(jì)

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

借助Ansys SCADE Suite，您將使用直觀的圖形符號(hào)，支持?jǐn)?shù)據(jù)流和分層狀態(tài)機(jī)的無限嵌套。使用規(guī)則檢查器確保您的代碼符合適用標(biāo)準(zhǔn)。基于Python的框架使您能夠?yàn)槊總€(gè)項(xiàng)目的完全量身定制的解決方案創(chuàng)建自己的規(guī)則和指標(biāo)。

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

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

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

3、模型分析

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

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

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

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

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

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

5、自動(dòng)代碼生成

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

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

6、SCADE工具集成

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

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

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

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

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

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

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

安裝激活教程

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

2、安裝程序，將ANSYS Inc文件夾復(fù)制到計(jì)算機(jī)的任何根驅(qū)動(dòng)器（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、運(yùn)行“SolidSQUADLoaderEnabler.reg”并確認(rèn)將信息添加到 Windows 注冊(cè)表中

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

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

6、選擇軟件安裝目錄

7、安裝完成，退出向?qū)?，將SCADE文件夾復(fù)制到安裝目錄中，點(diǎn)擊替換目標(biāo)中的文件

使用說明

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

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

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

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

3、人機(jī)界面軟件

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

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

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

5、功能安全分析

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