Skip to Main Content

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

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

基于模型的设计

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

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

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

  • Check icon outline
    为关键应用量身定制
  • Check icon outline
    验证和确认
  • Check icon outline
    先进的基于模型的软件设计
  • Check icon outline
    自动代码生成
2021-01-scade-suite-features.jpg

快速规格

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

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

  • 成本降低高达50%
  • 认证代码生成
  • 基于Python的API
  • VRX、TwinBuilder集成
  • 端到端可追溯性
  • 无缝目标平台集成
  • FMU-FMI、AUTOSAR支持
  • Simulink导入、S-Function导出
  • 减少手动测试
  • 确保模型完整性
  • 无缝用户流程集成
  • MISRA合规性

斯巴鲁使用Ansys SCADE控制ECU

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

2021-01-scade-suite-case-study-subaru.jpg

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

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

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

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

功能

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

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

 

主要特性

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

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

 

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

视频:Ansys SCADE Suite的工作原理

这种集成支持架构和设计的并行改进,并且可根据请求和项目里程碑进行同步。架构和设计模型之间的双向同步可减少或消除同步接口时的重复工作,以实现最高效率。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如何处理自动代码生成?

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交换格式,支持系统工程师之间实现多同步工作并生成合规代码。

资源与活动

案例研究

2020-12-case-study-icon-block.jpg

Ansys + 大众汽车

Ansys和大众汽车通力合作,进一步提高SCADE框架的持续集成和测试能力。

2020-12-case-study-icon-block.jpg

Ansys + Mecalac

为重型建筑设备的生产和操作制定工业安全指南,是预防Mecalac日常运营期间发生人类事故(包括意外事故)以及机器和材料损坏的关键。Mecalac使用SCADE来支持更高效的软件开发流程,可提高代码质量和ISO安全合规性,从而在提高整体运营效率的同时节省大量时间。

 

摄像头

Ansys + Rail-Mil

在每一个电气化系统的复杂组件背后,都需要智能安全的软件控制器,在组件和系统的整个生命周期内管理系统的性能和安全性。

摄像头

Casco Signaling Company和Ansys

读者在查看页面布局时会被页面的精彩内容分散注意力,这是一个既定事实。


技术论文和数据表

2020-12-brochure-icon-block.jpg

Ansys SCADE Suite®技术数据表

SCADE Suite是Ansys®嵌入式软件产品系列的一部分,它可以为用户提供面向关键嵌入式软件的基于模型的开发环境。

2020-12-brochure-icon-block.jpg

方法手册

使用SCADE Suite®高效开发符合DO-178C目标的安全航空电子软件

Blog icon block
技术简介

使用SCADE高效开发符合EN 50128/EN 50657要求的安全铁路应用软件

本方法手册详细说明了如何通过基于SCADE模型的开发方法,完全满足EN 50128:2011(用于通信、信号和处理系统的软件)和EN 50657:2017(用于机车车辆应用的软件)的要求,以实现安全可靠的软件,同时促进基于模型的有效开发和验证策略。


白皮书

2020-12-white-paper-icon-block.jpg
White Paper

充满电力:开发大型电池管理系统的整体方法

本白皮书介绍了如何使用Ansys电池管理解决方案,包括使用Ansys Twin Builder的物理仿真解决方案来开发电池的系统级视图,使用Ansys medini analyze开展安全性分析,以及使用Ansys SCADE进行嵌入式软件开发。



博客

Blog icon block
作者:Tim Puls和Michael Reiss

利用多核环境加快验证和合规流程

Ansys和Elektrobit创建了严格控制的自动化流程,用于通过强大的多核环境生成和验证符合AUTOSAR标准的嵌入式软件代码。 

Blog icon block
作者:Mazen El Hout

利用仿真技术提高电池管理系统安全性的4种方法

让我们来了解一下您可以使用仿真来设计BMS的4种方法,以应对效率、安全性和可靠性方面的主要挑战。

Blog icon block
作者:Hong Chassan

所有系统均采用基于模型的嵌入式软件设计

Ansys SCADE Suite是一个基于模型的可靠嵌入式软件开发环境,它通过一体化平台提供端到端解决方案。

Blog icon block
作者:Vishal Ganore

Ansys SCADE学生版现已开放免费下载

欢迎了解Ansys SCADE学生版以及如何获取此软件。

Blog icon block
作者:Kara Gremillion

工程师演示如何验证车道偏离警报系统

高级驾驶辅助系统(ADAS),例如车道偏离警报系统(或车道辅助系统),已成为汽车行业的一大卖点。在由于紧急情况、急转弯或疲劳驾驶而偏离车道的情况下,这些工具可以挽救驾驶员的生命。


可便捷访问的Ansys软件

所有用户(包括残障人士)都可以访问我们的产品,这对Ansys至关重要。因此,我们努力遵循基于美国访问委员会(Section 508)、网页内容无障碍指南(WCAG)和自愿产品可访问性模板(VPAT)的当前格式的可访问性要求。

了解Ansys提供的产品与服务

立即联系我们

* = 必填项

感谢您的联系!

我们乐意随时解答您的问题,并期待与您进一步沟通。Ansys销售团队人员将很快与您联系。

页脚图片