ANSYS SCADE产品线概览

    ANSYS SCADE产品线提供基于模型的嵌入式系统及软件开发解决方案，支持嵌入式系统架构设计、软件架构设计、软件详细设计、模型验证和代码自动生成，整个产品线中的不同工具已经无缝集成，为满足行业认证要求的软件研制提供一站式平台。SCADE产品线已经广泛应用于航空、航天、汽车、轨道、核电等领域，实践证明基于SCADE的研制方法能有效降低研制成本、提高产品质量。SCADE产品线主要由以下模块组成：

SCADE Architect：支持基于SysML建模，可以使用SysML模型对系统行为及架构进行建模。SCADE Architect还在SysML的基础上进行封装定制，扩展出了针对航空嵌入式系统设计解决方案、针对汽车嵌入式系统设计解决方案、FACE解决方案和AADL解决方案。

SCADE Suite：支持控制逻辑详细建模、仿真验证、代码自动生成。语法严谨、能保证模型和代码的一致性，代码生成器通过行业安全标准的认证，适用于高安全软件开发。

SCADE Display：支持HMI详细设计、仿真验证、代码自动生成。支持生成OpenGL/OpenGL SC/OpenGL ES代码，代码生成器通过行业安全标准认证，适用于高安全软件开发。

SCADE ARINC 661：支持符合ARINC 661标准座舱显示系统开发的完整解决方案。

SCADE Test：支持对SCADE模型进行验证，包括对SCADE模型进行覆盖率分析、自动化测试、与目标机测试平台工具桥接进行目标机测试。

SCADE Lifecycle：支持和ALM/PLM（比如DOORS）平台进行桥接实现生命周期数据管理、文档自动生成等。

SCADE Vision: 支持通过基于云端部署的后台搜索引擎和网络前端人机界面的综合分析来快速定位AI软件感知算法的潜在缺陷。

SCADE Architect | 系统或软件架构设计

SCADE Architect是一个支持系统或软件架构设计的工具。其支持SysML建模能力，可以使用SysML模型对系统行为及架构进行建模。SCADE Architect还在SysML的基础上进行封装定制，扩展出了针对航空嵌入式系统设计解决方案、针对汽车嵌入式系统设计解决方案、FACE解决方案和AADL解决方案。并支持与软件详细设计工具SCADE Suite进行双向模型同步。

SysML建模能力

系统功能行为及约束设计：支持SysML用例图、时序图、活动图、状态机图、参数图。 

系统分解及架构设计：支持SysML的BDD图、IBD图，用于描述系统的架构分解及系统模块间的数据交互。支持数据字典功能，可以集中地定义和管理数据，然后在模型中进行分配使用。并支持Excel表格数据的导入导出。支持将系统架构模型中的接口、模块、IBD图等导入软件设计模型中，并支持系统模型和软件模型的双向同步，保证两者的一致性。

领域对象封装定制

支持通过可视化的UML类图来定义特定领域对象的元模型，形成特定领域的对象库，系统设计人员可以使用该对象库进行系统设计。支持导出功能，可以由特定领域对象的元模型一键式生成系统配置插件，然后在系统设计环境中部署插件。通过这种方式，可以针对具体的行业应用进行定制，系统设计能更加有针对性并更方便于形成知识积累。

SCADE航空包

SCADE在SysML的基础上，借助领域对象封装定制模块，开发出了专门针对航空领域的航空套件，整个航空包的组成架构如下图所示。主要包括AADL的架构设计功能、符合FACE标准的架构设计功能、常用航空对象库及使用对象库进行架构设计。还能支持在同一个IDE环境中进行SysML、FACE和AADL的混合建模。

SCADE汽车包

SCADE汽车包是专为汽车领域提供的专业扩展，支持使用SCADE Architect和SCADE Suite进行汽车应用软件的高效和安全设计。主要包含以下功能：

• 支持AUTOSAR软件组件设计，包含架构设计、详细设计及代码自动生成

• 支持符合AUTOSAR 4.2.2标准的ARXML文件导入导出

• 支持架构模型和SCADE Suite详细设计模型进行双向同步，确保两份模型的一致性

• SCADE Suite能够生成软件组件代码以及AUTOSAR RTE胶水代码，代码生成器经过ISO 26262 ASIL D认证

• 支持ASAM MCD-2 DC(又称ASAP2)软件标定和测量

SCADE Architect与其他工具的集成和模型同步

SCADE Architect模型能与软件详细设计工具(SCADE Suite)、功能&信息安全分析工具(medini)、Excel表格以及第三方SysML工具进行集成和模型同步，构建完整的MBSE工具链。工具链集成及设计流程如图所示：