快速规格
Ansys SCADE Suite通过简化关键控制应用设计、自动执行验证、合格/认证代码生成以及文档生成，可显著降低安全认证成本。
得益于对互操作性标准的支持以及基于Python的定制功能，Ansys SCADE Suite可无缝集成到用户流程中。
基于模型的设计
在Ansys SCADE Suite中创建可靠的嵌入式控制软件
现代汽车、飞机和其它复杂的工业产品包含众多的电子组件，其需要良好地集成才能提供关键功能。数百万行嵌入式软件代码是这些先进系统的核心所在，可确保它们在每种操作场景下都能完美运行。
Ansys SCADE Suite可减少验证工作并提高生产力，同时不会影响关键应用的安全性和可靠性。
-
为关键应用量身定制
-
验证和确认
-
先进的基于模型的软件设计
-
自动代码生成
-
成本降低高达50% -
认证代码生成 -
基于Python的API -
VRX、TwinBuilder集成
-
端到端可追溯性 -
无缝目标平台集成 -
FMU-FMI、AUTOSAR支持 -
Simulink导入、S-Function导出
-
减少手动测试 -
确保模型完整性 -
无缝用户流程集成 -
MISRA合规性
斯巴鲁使用Ansys SCADE控制ECU
通过自动化完成95%的开发流程，汽车行业的领先者可快速实现无与伦比的准确性和成本节省。
在推出新混合动力和电动车型的市场竞争中，Ansys SCADE在过去10年已经成为斯巴鲁的一项重要战略工具，兑现汽车制造商对于出色安全性和可靠性的承诺。节省ECU的端到端开发时间，同时不降低其控制软件的准确性，这对于斯巴鲁能够推出创新技术至关重要。
在为ECU生成软件代码的流程中，首先需要定义控制逻辑，以便将汽车电子架构的所有部分整合在一起。这一套基于逻辑的规则可确保汽车的所有电子器件都能够安全可靠地集成。它不仅能管理系统交互，在需要时发送警报，而且还能在紧急情况下关闭系统。不仅如此，它还能控制汽车动态、发动机功能、汽车能耗和电池的负载管理。
功能
确保出色的产品安全性、可靠性、质量和合规性
Ansys SCADE Suite是一种用于关键嵌入式软件的基于模型的开发环境，让用户能够以最低的项目认证成本来设计和验证关键嵌入式软件。其正式定义的Scade语言使符号变得直观而明确
主要特性
Ansys SCADE Suite是一款基于模型的完整解决方案，可用于为关键应用设计、分析、仿真和验证可靠的嵌入式软件。
- 先进的基于模型的设计
- 与软件架构设计同步
- 模型分析
- 调试和仿真
- 自动代码生成
- SCADE工具集成
- 系统仿真功能
- 嵌入式汽车软件的专用解决方案
借助Ansys SCADE Suite，用户将能够使用直观的图形符号，并支持无限制的数据流嵌套和分层状态机。使用规则检查器确保用户代码符合适用的标准。基于Python的框架使用户能够创建自己的规则和指标，从而为每个项目实现完全定制的解决方案。
这种集成支持架构和设计的并行改进，并且可根据请求和项目里程碑进行同步。架构和设计模型之间的双向同步可减少或消除同步接口时的重复工作，以实现最高效率。Ansys SCADE Suite和Ansys SCADE Architect之间的同步可支持架构设计，并涵盖在IMA、FACE和AUTOSAR等环境中的代码生成流程。
Ansys SCADE Suite的代码生成器可满足模型中提供的需求，无需进行代码验证。因此，验证模型行为是否正确变得至关重要。我们的软件配备了多个模型级分析，以验证模型的正确性并确保缩短开发时间。用户将能够执行模型的静态分析。模型的静态分析（即检查模型是否一致、数据流是否正确键入、初始化是否正确完成）由代码生成器的前端完成，因此符合各种软件安全性标准的最高级别要求。通过规则检查器，用户可以使用基于Python的框架自定义和添加特定检查，该框架支持必要或建议规则的证明机制。
Ansys SCADE Suite Design Verifier是一款验证助手工具，它可以形式化表示和评估安全性需求，并提供一种可在开发流程早期阶段发现错误的高效方法。它由Prover®技术以及具有浮点计算支持的多核形式验证引擎提供支持。
Ansys SCADE Suite支持用户使用图形和文本块定义软件设计。完成定义后，用户可以使用基于自动生成的代码的仿真功能，仿真软件设计或其任何单独的模块。仿真和调试功能包括可执行设计、实际生成代码的详细仿真、场景录制和播放、规范描述错误的早期检测、自动非回归测试等。
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可与系统架构设计、HMI开发和测试以及应用生命周期管理的工具轻松集成，为所有嵌入式软件开发活动提供综合全面的环境
Ansys SCADE Suite的高级建模器包括Twin Builder，这是一个用于模拟、仿真和分析虚拟系统原型的强大平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。
Ansys SCADE Suite可扩展并简化汽车市场的系统设计功能。它支持从AUTOSAR软件组件（SWC）到符合AUTOSAR RTE的可运行代码生成的开发流程：用户可以基于AUTOSAR标准启动开发流程，以创建由Ansys SCADE Suite KCG代码生成器生成的符合AUTOSAR RTE标准的代码。此外，该解决方案还允许用户导入和导出AUTOSAR ARXML交换格式，支持系统工程师之间实现多同步工作并生成合规代码。
可便捷访问的Ansys软件
所有用户（包括残障人士）都可以访问我们的产品，这对Ansys至关重要。因此，我们努力遵循基于美国访问委员会（Section 508）、网页内容无障碍指南（WCAG）和自愿产品可访问性模板（VPAT）的当前格式的可访问性要求。
了解Ansys提供的产品与服务
了解Ansys提供的产品与服务
Contact Us
立即联系我们
