跳转至主要内容

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

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

基于模型的设计

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

现代汽车、飞机和其他复杂的工业产品由多个电子元件组成,它们完美地集成在一起,提供关键功能。在这些先进系统的基础上,有数百万行嵌入式软件代码,确保它们在任何操作场景下都能完美运行。

Ansys SCADE Suite节省了验证工作,提高了工作效率,同时不影响关键应用的安全性和可靠性。

  • 检查图标轮廓
    为关键应用量身定制
  • 检查图标轮廓
    验证与验证
  • 检查图标轮廓
    高级基于模型的软件设计
  • 检查图标轮廓
    自动代码生成
2021 - 01 - scade features.jpg——套件

快速的规格

Ansys SCADE Suite通过简化关键控制应用程序设计和自动化验证、合格/认证代码生成和文档生成,大幅降低安全认证成本。

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

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

斯巴鲁采用Ansys SCADE控制ecu

Automotive leader自动化95%的开发流程,以实现无与伦比的准确性、速度和成本节约。

2021 - 01 - scade subaru.jpg——套件——案例研究

“SCADE解决方案不仅节省了宝贵的时间,还支持了斯巴鲁提供高质量产品和乘客安全的长期承诺。”

-斯巴鲁高级工程师Yuji Kawakami

在推出新型混合动力和电动汽车的竞争中,Ansys SCADE在过去十年中已成为斯巴鲁宝贵的战略工具,支持汽车制造商对不妥协的安全和质量的承诺。在ECU的端到端开发过程中节省的时间——而不牺牲其控制软件的准确性——对于斯巴鲁引进创新新技术的能力至关重要。

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

功能

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

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

关键特性

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

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

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

视频:Ansys SCADE套件如何工作?

这种集成使体系结构和设计的并行发展成为可能,并在请求时和项目里程碑时提供同步。架构和设计模型之间的双向同步减少或消除了同步接口以获得最大效率的重复工作。Ansys SCADE Suite与Ansys SCADE Architect在IMA、FACE和AUTOSAR等上下文中支持架构设计到代码生产流程。

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

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

Ansys SCADE Suite Design Verifier是一个正式表达和评估安全需求的验证助手,提供了一种在开发过程早期发现错误的有效方法。它由Prover®技术提供动力,并由支持浮点计算的多核正式证明引擎支持。

Ansys SCADE套件允许您用图形和文本块定义软件设计。定义之后,您可以使用基于自动生成代码的模拟功能来模拟软件设计或任何单独的块。模拟和调试功能包括可执行设计、实际生成代码的详细模拟、场景记录和回放、规范错误的早期检测、自动非回归测试等等。

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支持使用多核代码生成器生成多核代码。在模型中确定操作符的特定实例,以成为可并行的任务。这些任务的规范独立于模型,允许进行各种配置。

视频:Ansys SCADE套件如何处理自动代码生成?

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

Ansys SCADE套件的高级建模器包括双胞胎建设者,一个强大的虚拟系统原型建模、仿真和分析平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。

Ansys SCADE Suite扩展和简化了汽车市场的系统设计功能。它支持从AUTOSAR软件组件(SWC)到AUTOSAR rte兼容代码生成的开发流程:您可以启动基于AUTOSAR标准的开发流程,以创建由Ansys SCADE Suite的KCG代码生成器生成的AUTOSAR rte兼容代码。该解决方案还允许您导入和导出AUTOSAR ARXML交换格式,允许系统工程师之间的多同步并生成兼容的代码。

资源和事件

案例研究

相机

Ansys + Rail-Mil

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

相机

卡斯柯信号公司和Ansys

读者在浏览页面布局时,会被页面的可读内容分散注意力,这是一个长期存在的事实。

2020 - 12 -图标- block.jpg -案例研究

Ansys + Rail-Mil

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


宣传册

2020 - 12 -宣传册-图标- block.jpg

Ansys SCADE Suite®2021 R1 Datasheet

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

2020 - 12 -宣传册-图标- block.jpg

方法手册

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

相机

短文章标题一行

读者在浏览页面布局时,会被页面的可读内容分散注意力,这是一个长期存在的事实。


白皮书

2020 - 12 -白-纸-图标- block.jpg
白皮书

充电:开发大规模电池管理系统的整体方法

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



博客

博客图标块
作者:kara gremillion

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

先进的驾驶辅助系统(ADAS),如车道偏离预警系统(或车道辅助系统),已经成为汽车行业的一个卖点。这些工具可以挽救因紧急情况、急转弯或长时间驾驶而偏离车道的司机的生命。

博客图标块
作者:vishal ganore

免费下载Ansys SCADE Student软件

了解Ansys SCADE Student软件及其获取方法。


技术简介

博客图标块
技术简介

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

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

Ansys软件可访问

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

看看Ansys可以为您做什么

今天就联系我们

* =必填项

谢谢你的联系!

我们在这里回答你的问题,期待与你交谈。我们Ansys销售团队的一名成员将很快与您联系。

页脚的形象