软件说明
一、产品概述：
在 Ansys SCADE Suite 中创建可靠的嵌入式控制软件 现代汽车、飞机和其他复杂的工业产品由多个电子元件组成，完美集成以提供关键功能。这些先进系统的基础是数百万行嵌入式软件代码，可确保它们在每种操作场景下都能完美运行。 Ansys SCADE Suite 可在不影响关键应用的安全性和可靠性的情况下节省验证工作并提高生产力。 为关键应用量身定制 验证和确认 先进的基于模型的软件设计 自动代码生成
2、快速规格
Ansys SCADE Suite 通过简化关键控制应用程序设计和自动验证、合格/认证代码生成和文档生成，大大降低了安全认证成本。 得益于对互操作性标准的支持以及基于 Python 的定制功能，Ansys SCADE Suite 可无缝集成到用户流程中。 高达 50% 的成本降低 认证代码生成 基于 Python 的 API VRX、TwinBuilder 集成端到端可追溯性 无缝目标集成 FMU-FMI、AUTOSAR 支持 Simulink 导入、S-Function 导出减少手动测试 保证模型完整性 无缝用户流集成 MISRA 合规性
二、产品能力：
确保出色的产品安全性、可靠性、质量和合规性 Ansys SCADE Suite 是一个基于模型的关键嵌入式软件开发环境，让用户能够以最低的项目认证成本设计和验证关键嵌入式软件。其正式定义的 Scade 语言使符号直观且明确
三、主要特点：
Ansys SCADE Suite 是一个完整的基于模型的解决方案，用于为关键应用设计、分析、仿真和验证可靠的嵌入式软件。 1、先进的基于模型的设计 Ansys SCADE Suite 在与配置管理、系统仿真和实时测试工具相连接的完全集成环境中提供软件数据流和状态机设计和仿真功能。 借助 Ansys SCADE Suite，您将使用直观的图形符号，支持无限嵌套的数据流和分层状态机。使用规则检查器确保您的代码符合适用的标准。基于 Python 的框架使您能够创建自己的规则和指标，为每个项目提供完全定制的解决方案。
2、与软件架构设计同步 Ansys SCADE Architect 和 Ansys SCADE Suite 的集成为您提供了从架构到组件详细设计的完整软件设计流程所需的所有工具。 这种集成实现了架构和设计的并行演进，可根据请求和项目里程碑进行同步。架构和设计模型之间的双向同步减少或消除了同步接口的重复工作，以实现更大效率。Ansys SCADE Suite 和Ansys SCADE Architect之间的同步支持架构设计到 IMA、FACE 和 AUTOSAR 等环境中的代码生产流程。
3、模型分析 为确保 Ansys SCADE Suite 模型就其要求而言是正确的，您可以执行静态分析、对照规则检查模型、评估安全要求以及执行时序和堆栈优化分析。 Ansys SCADE Suite 的代码生成器满足模型中提供的规范，无需进行代码验证。因此，验证模型的行为是否正确至关重要。我们的软件配备了多个模型级分析，以验证模型的正确性并确保缩短开发时间。您将能够对模型执行静态分析。模型的静态分析（即检查模型是否一致、数据流是否正确键入、初始化是否正确完成）由代码生成器的前端完成，因此在各种软件安全方面具有高级别的资格标准。使用规则检查器，您可以使用基于 Python 的框架自定义和添加特定检查，该框架支持必要或建议规则的证明机制。 Ansys SCADE Suite Design Verifier 是一种验证助手，可以正式表达和评估安全要求，提供一种在开发过程早期发现错误的高效方法。它由 Prover® 技术提供支持，并由支持浮点计算的支持多核的形式证明引擎提供支持。 4、调试和仿真 Ansys SCADE Suite 仿真功能基于实际生成的代码，为您提供强大的可视化调试环境，使断点和观察点能够检查内部变量和输出值。 Ansys SCADE Suite 允许您使用图形和文本块定义软件设计。定义后，您可以使用基于自动生成代码的仿真功能来仿真软件设计或其任何单独的模块。模拟和调试功能包括可执行设计、实际生成代码的详细模拟、场景记录和回放、规范错误的早期检测、自动非回归测试等。
5、自动代码生成 此代码生成器节省了编码阶段的验证工作，例如对 Ansys SCADE Suite KCG 生成的代码进行代码审查和低级测试。这种生产力提高缩短了认证和/或修改时间和精力。 Ansys SCADE Suite KCG 是一款来自 Scade 模型的 C 和 Ada 代码生成器，已被认证为 DO-178B 软件的开发工具，最高 A 级和 DO-178C/DO-330 在 TQL-1；通过 IEC 61508 SIL 3 和 EN 50128 SIL 3/4 认证；并通过 ISO 26262 软件达到 ASIL D，这意味着 KCG 开发过程符合这些软件安全标准。Ansys SCADE Suite 支持使用多核代码生成器生成多核代码。在模型中识别出特定的算子实例，使其成为可并行化的任务。这些任务的规范独立于模型，允许各种配置。 6、SCADE 工具集成 Ansys SCADE Suite 可轻松与系统架构设计、HMI 开发和测试以及应用程序生命周期管理的工具集成，为所有嵌入式软件开发活动提供完整的环境
7、系统仿真能力 Ansys Twin Builder 的系统仿真功能可帮助您通过在一个环境中连接硬件和软件来构建产品的完整虚拟系统原型。 Ansys SCADE Suite 的高级建模器包括Twin Builder ，这是一个用于建模、仿真和分析虚拟系统原型的强大平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。 8、嵌入式汽车软件专用解决方案 SCADE 汽车套件包括 SCADE Architect、SCADE Suite 和 SCADE LifeCycle，以提供 AUTOSAR R4.2.2 支持、校准和定点支持以及合格的代码生成。 Ansys SCADE Suite 扩展并简化了汽车市场的系统设计能力。它支持从 AUTOSAR 软件组件 (SWC) 到 Runnables 的 AUTOSAR RTE 兼容代码生成的开发流程：您可以启动基于 AUTOSAR 标准的开发流程，以创建由 Ansys SCADE Suite 的 KCG 代码生成的 AUTOSAR RTE 兼容代码发电机。该解决方案还使您能够导入和导出 AUTOSAR ARXML 交换格式，允许系统工程师之间的多同步并生成兼容的代码。