Ansys SCADE Suite
用于关键嵌入式软件的基于模型的开发环境

Ansys SCADE Suite是用于可靠嵌入式软件的基于模型的开发环境，其可提供与需求管理、基于模型的设计、验证、合格/认证代码生成功能的工具链，以及与其它开发工具和平台的互操作性。

免费试用数字化安全技术大会

基于模型的设计

在Ansys SCADE Suite中创建可靠的嵌入式控制软件

现代汽车、飞机和其它复杂的工业产品包含众多的电子组件，其需要良好地集成才能提供关键功能。数百万行嵌入式软件代码是这些先进系统的核心所在，可确保它们在每种操作场景下都能完美运行。

Ansys SCADE Suite可减少验证工作并提高生产力，同时不会影响关键应用的安全性和可靠性。

快速规格

Ansys SCADE Suite通过简化关键控制应用设计、自动执行验证、合格/认证代码生成以及文档生成，可显著降低安全认证成本。

得益于对互操作性标准的支持以及基于Python的定制功能，Ansys SCADE Suite可无缝集成到用户流程中。

成本降低高达50%

认证代码生成

基于Python的API

VRX、TwinBuilder集成

端到端可追溯性

无缝目标平台集成

FMU-FMI、AUTOSAR支持

Simulink导入、S-Function导出

减少手动测试

确保模型完整性

无缝用户流程集成

MISRA合规性

斯巴鲁使用Ansys SCADE控制ECU

通过自动化完成95%的开发流程，汽车行业的领先者可快速实现无与伦比的准确性和成本节省。

“SCADE解决方案不仅能节省宝贵的时间，而且也支持斯巴鲁的一贯承诺：提供优质的产品并确保乘客的安全。”

——Yuji Kawakami，斯巴鲁高级工程师

阅读文章

在推出新混合动力和电动车型的市场竞争中，Ansys SCADE在过去10年已经成为斯巴鲁的一项重要战略工具，兑现汽车制造商对于出色安全性和可靠性的承诺。节省ECU的端到端开发时间，同时不降低其控制软件的准确性，这对于斯巴鲁能够推出创新技术至关重要。

在为ECU生成软件代码的流程中，首先需要定义控制逻辑，以便将汽车电子架构的所有部分整合在一起。这一套基于逻辑的规则可确保汽车的所有电子器件都能够安全可靠地集成。它不仅能管理系统交互，在需要时发送警报，而且还能在紧急情况下关闭系统。不仅如此，它还能控制汽车动态、发动机功能、汽车能耗和电池的负载管理。

应用

查看所有应用

确保出色的产品安全性、可靠性、质量和合规性

Ansys SCADE Suite是一种用于关键嵌入式软件的基于模型的开发环境，让用户能够以最低的项目认证成本来设计和验证关键嵌入式软件。其正式定义的Scade语言使符号变得直观而明确

主要特性

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

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

与专家沟通

先进的基于模型的设计

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

借助Ansys SCADE Suite，用户将能够使用直观的图形符号，并支持无限制的数据流嵌套和分层状态机。使用规则检查器确保用户代码符合适用的标准。基于Python的框架使用户能够创建自己的规则和指标，从而为每个项目实现完全定制的解决方案。

视频：Ansys SCADE Suite的工作原理

与软件架构设计同步

Ansys SCADE Architect和Ansys SCADE Suite的集成可为用户提供完整软件设计流程（从架构到详细的组件设计）所需的所有工具。

这种集成支持架构和设计的并行改进，并且可根据请求和项目里程碑进行同步。架构和设计模型之间的双向同步可减少或消除同步接口时的重复工作，以实现最高效率。Ansys SCADE Suite和Ansys SCADE Architect之间的同步可支持架构设计，并涵盖在IMA、FACE和AUTOSAR等环境中的代码生成流程。

视频：软件密集型嵌入式系统的集成工作流程

模型分析

为确保Ansys SCADE Suite模型能够满足相关要求，用户可以执行静态分析，根据规则检查模型，评估安全性需求以及执行时序和堆栈优化分析。

Ansys SCADE Suite的代码生成器可满足模型中提供的需求，无需进行代码验证。因此，验证模型行为是否正确变得至关重要。我们的软件配备了多个模型级分析，以验证模型的正确性并确保缩短开发时间。用户将能够执行模型的静态分析。模型的静态分析（即检查模型是否一致、数据流是否正确键入、初始化是否正确完成）由代码生成器的前端完成，因此符合各种软件安全性标准的最高级别要求。通过规则检查器，用户可以使用基于Python的框架自定义和添加特定检查，该框架支持必要或建议规则的证明机制。

Ansys SCADE Suite Design Verifier是一款验证助手工具，它可以形式化表示和评估安全性需求，并提供一种可在开发流程早期阶段发现错误的高效方法。它由Prover®技术以及具有浮点计算支持的多核形式验证引擎提供支持。

调试和仿真

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

Ansys SCADE Suite支持用户使用图形和文本块定义软件设计。完成定义后，用户可以使用基于自动生成的代码的仿真功能，仿真软件设计或其任何单独的模块。仿真和调试功能包括可执行设计、实际生成代码的详细仿真、场景录制和播放、规范描述错误的早期检测、自动非回归测试等。

自动代码生成

此代码生成器可节省编码阶段的验证工作，例如对Ansys SCADE Suite KCG生成的代码进行代码审查和低级需求测试。这种生产力提升可缩短认证和/或修改的时间和工作量。

Ansys SCADE Suite KCG是一款来自Scade模型的C和Ada代码生成器，经过认证成为符合A级DO-178B软件标准和DO-178C/DO-330 TQL-1标准的开发工具；经过IEC 61508 SIL 3标准、EN 50128 SIL 3/4标准的认证以及符合ISO 26262软件（最高可达ASIL D）的要求，这意味着KCG开发流程符合这些软件安全性标准。Ansys SCADE Suite使用多核代码生成器来生成多核代码。在模型中识别出特定的运算符实例，以使其成为可并行化的任务。这些任务的规范独立于模型，允许实现各种配置。

视频：Ansys SCADE Suite如何处理自动代码生成？

2020-12-scade-suite-scade tool integration.jpg

SCADE工具集成

Ansys SCADE Suite可与系统架构设计、HMI开发和测试以及应用生命周期管理的工具轻松集成，为所有嵌入式软件开发活动提供综合全面的环境

系统仿真功能

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

Ansys SCADE Suite的高级建模器包括Twin Builder，这是一个用于模拟、仿真和分析虚拟系统原型的强大平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。

2020-12-scade-suite-Dedicated Solutions for Embedded Automotive Software.jpg

嵌入式汽车软件的专用解决方案

SCADE汽车软件包包括SCADE Architect、SCADE Suite和SCADE LifeCycle，提供AUTOSAR R4.2.2支持、校准和定点支持以及合格代码生成。

Ansys SCADE Suite可扩展并简化汽车市场的系统设计功能。它支持从AUTOSAR软件组件（SWC）到符合AUTOSAR RTE的可运行代码生成的开发流程：用户可以基于AUTOSAR标准启动开发流程，以创建由Ansys SCADE Suite KCG代码生成器生成的符合AUTOSAR RTE标准的代码。此外，该解决方案还允许用户导入和导出AUTOSAR ARXML交换格式，支持系统工程师之间实现多同步工作并生成合规代码。