资源介绍
ANSYS SCADE 是 Windows 上一款由 Ansys 公司推出的一套用于开发关键嵌入式软件的工具套件,主要由 SCADE Architect、SCADE Suite、SCADE Display 等多个组件构成。
- SCADE Architect:主要面向系统工程师。它基于 SysML 技术,提供可重复使用的模块功能,支持基于组件的建模。用户可进行数据字典的导入 / 导出以及跨模块层级的数据传播。同时,它支持从 IBM Rhapsody、NoMagic MagicDraw 等模型导入 SysML 模型,并在 SysML 基础上进行封装定制,扩展出针对汽车嵌入式系统设计的 AUTOSAR 解决方案、AADL 及 FACE 解决方案等。
- SCADE Suite:是套件的核心组件。它基于形式化语言 “SCADE”,支持控制逻辑的详细建模、仿真验证以及代码自动生成。其代码生成器通过了 ISO 26262 等行业安全标准认证,适用于高安全软件开发,可生成 C 和 Ada 代码,并且支持标定和 NI/dSPACE 等 HIL 桥接。
- SCADE Suite Gateway for Simulink:支持 Simulink 模型与 SCADE 模型的双向转换,方便用户在不同的建模环境中进行数据交互和协同工作。
- SCADE Display:专注于 HMI(人机交互界面)的详细设计、仿真验证和代码自动生成。它支持生成 OpenGL/OpenGL Safety/OpenGL ES 代码,代码生成器通过行业安全标准认证,适用于高安全软件开发,常用于汽车和工业等制造领域的 HMI 显示软件原型设计和开发。
- SCADE Test:提供了用于需求验证以及测试案例创建和管理的完整测试环境。用户可以在主机和目标上自动执行测试案例,测量覆盖率并管理测试结果。它还具备自动化完成模型测试执行、模型覆盖结果报告以及硬件目标的测试转换等功能,测试报告生成符合 DO-178C、ISO 26262 等安全性标准。
- SCADE Lifecycle:支持与 ALM/PLM(如 DOORS、Reqtify、Polarion)进行桥接,实现生命周期数据管理和文档自动生成等功能。通过该组件,参与关键应用开发的所有系统和软件团队可以在 SCADE 应用的整个生命周期内,管理和控制其设计和验证活动。
- SCADE 汽车包:是专为汽车领域提供的扩展。它包含 AUTOSAR 定制(符合 AUTOSAR4.2.2 标准)、支持 SCADE Architect 项目 ARXML 文件的导入 / 导出、确保 SCADE Architect 和 SCADE Suite 双向同步、使 SCADE Suite 生成的代码符合 AUTOSAR 标准以及支持 ASAM MCD-2DC 软件标定和测量等功能。
资源截图
