ANSYS SCADE 2024 R1 关键嵌入式软件

ANSYS SCADE是一款面向关键嵌入式软件的模型驱动开发环境。软件以其可靠性而着称，专为需要安全认证的应用设计，如航空航天、汽车及重型机械等领域中的控制系统。SCADE Suite集成了转换到需求管理、模型设计、验证以及符合资格/认证的代码生成的能力，并与其他开发工具和平台实现互操作。

Ansys SCADE Suite极大地节省了验证工作量，提高了生产效率，同时保证关键应用中的安全性和可靠性。其通过简化关键控制应用的设计，并自动化验证、符合资格/认证的代码生成，以及文档生成，极大减少了安全认证成本。软件支持合作标准的互通，且通过Python基础的定制能力无缝地融入用户流程中。

通过使用Ansys SCADE Suite，工程师能够在降低项目认证成本的同时，设计和验证关键嵌入式软件。其正式定义的Scade语言使得表示法直观且明确无误。SCADE Suite提供从架构到详细设计构件的完整软件设计解决方案，包括先进的基于模型的设计、与软件架构设计的同步、模型分析、调试和仿真以及自动代码生成等关键功能。此外，SCADE Suite易于与系统架构设计、HMI开发测试和应用生命周期管理工具集成，为所有嵌入式软件开发活动提供了完整的环境。

主要特点

Ansys SCADE Suite是一个完整的基于模型的解决方案，用于为关键应用设计、分析、仿真和验证可靠的嵌入式软件。

• 基于模型的高级设计
• 与软件架构设计同步
•  模型分析
•  调试和仿真
• 自动代码生成
•  SCADE 工具集成
• 系统仿真能力
• 嵌入式汽车软件专用解决方案

基于模型的高级设计
Ansys SCADE Suite在完全集成的环境中提供软件数据流和状态机设计与仿真功能，该环境与配置管理、系统仿真和实时测试工具连接。

与软件架构设计同步
Ansys SCADE Architect和Ansys SCADE Suite的集成为您提供了从架构到组件详细设计的完整软件设计流程所需的所有工具。

模型分析
为确保Ansys SCADE Suite模型符合其要求，您可以执行静态分析，根据规则检查模型，评估安全要求，并执行时序和堆栈优化分析。

调试和仿真
Ansys SCADE Suite仿真功能基于实际生成的代码，为您提供强大的可视化调试环境，使断点和观察点能够检查内部变量和输出值。

自动代码生成
该代码生成器节省了编码阶段的验证工作，例如对Ansys SCADE Suite KCG生成的代码进行代码审查和低级测试。这种生产力的提高缩短了认证和/或修改的时间和精力。

系统仿真能力
Ansys Twin Builder的系统仿真功能可帮助您在一个环境中连接硬件和软件，从而构建产品的完整虚拟系统原型。

嵌入式汽车软件专用解决方案
SCADE 汽车软件包包括 SCADE Architect、SCADE Suite 和 SCADE LifeCycle，提供 AUTOSAR R4.2.2 支持、校准和定点支持以及合格的代码生成。