跳转到主要内容

万搏manbext官网appAnsys SCADE套件
基于模型的关键嵌入式软件开发环境

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

基于模型的设计

在ANSYS SCADE SUITE中创建可靠的嵌入式控制软件万搏manbext官网app

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

万搏manbext官网app在关键应用中,Ansys SCADE套件在不影响安全性和可靠性的情况下,节省了验证工作,提高了生产率。

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

快速规格

万搏manbext官网appAnsys SCADE套件通过简化关键控制应用程序设计和自动化验证、合格/认证代码生成和文档生成,大大降低了安全认证成本。

万搏manbext官网app由于其对互操作性标准的支持以及基于Python的定制功能,Ansys SCADE套件在用户流中无缝集成。

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

斯巴鲁采用Ansys SCADE对ecu进行控制万搏manbext官网app

汽车领导者自动化95%的开发过程,以实现无与伦比的准确性,速度和成本节约。

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

“虽然SCADE解决方案节省了宝贵的时间,但它们也支持斯巴鲁长期以来致力于提供高水平的产品质量和乘客安全。”

- 苏吉川卡米,斯巴鲁高级工程师

在推出新的混合动力和电动汽车模型的竞争中,Ansys SCADE已成为斯巴鲁在过去十年中一个宝贵的战略工具,支持了该汽车制造万搏manbext官网app商毫不妥协的安全和质量承诺。在不牺牲控制软件准确性的前提下,ECU端到端的开发过程中节省的时间对斯巴鲁引进创新技术至关重要。

为ECU生成软件代码的过程首先定义控制逻辑,以将汽车电子架构的所有部件在一起。这组基于逻辑的规则可确保所有汽车的电子产品都安全地和安全地集成。它管理系统交互,在需要时发送警报,并且还可以在紧急情况下关闭系统。它控制车辆动力学,发动机功能,车辆的能耗和电池的负载管理。

功能

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

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

关键特性

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

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

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

视频:Ansys SCADE套件万搏manbext官网app是如何工作的?

该集成使得架构和设计的平行演进,可根据要求和项目里程碑可用同步。架构和设计模型之间的双向同步可减少或消除同步接口中的重复工作,以获得最大效率。ANSYS SCADE SUITE和ANSYS 万搏manbext官网appSCADE架构师之间的同步支持架构设计,以便在IMA,Face和Autosar等上下文中进行编码生产流程。

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

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

万搏manbext官网appAnsys SCADE Suite Design Verifier是一款能够正式表达和评估安全需求的验证助手,为在开发过程的早期发现漏洞提供了一种高效的方法。它由Prover®技术提供支持,并由一个支持浮点计算的多核正式证明引擎支持。

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

万搏manbext官网appAnsys SCADE Suite KCG是一个C和Ada代码生成器,来自SCADE模型,已被认证为DO-178B软件的开发工具,达到a级和DO-178C/DO-330在TQL-1;通过IEC 61508 SIL 3和EN 50128 SIL 3/4认证;并符合ISO 26262软件ASIL D标准,这意味着KCG的开发过程符合这些软件安全标准。万搏manbext官网appAnsys SCADE套件可以使用多核代码生成器生成多核代码。在模型中识别操作符的特定实例,使之成为可并行化的任务。这些任务的规范是独立于模型的,允许各种配置。

视频:Ansys SCADE套件万搏manbext官网app如何处理自动代码生成?

万搏manbext官网appANSYS SCADE套件轻松集成了系统架构设计的工具,HMI开发和测试和应用程序生命周期管理,为所有嵌入式软件开发活动提供完整的环境

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

万搏manbext官网appANSYS SCADE SUITE扩展并简化了汽车市场的系统设计能力。It supports a development flow starting from AUTOSAR Software Component (SWC) to AUTOSAR RTE-compliant code generation for the Runnables: you can start a development flow based on the AUTOSAR standard to create AUTOSAR RTE-compliant code generated by the Ansys SCADE Suite’s KCG code generator. The solution also enables you to import and export AUTOSAR ARXML interexchange format, allows multi-synchronization between system engineers and generates compliant code.

资源和事件

案例研究

相机

万搏manbext官网appAnsys + Rail-Mil

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


小册子

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

万搏manbext官网appAnsys SCADE Suite®2021 R1 Datasheet

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

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

方法手册

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


白皮书

2020-12-white-paper-icon-block.jpg
白皮书

收费:开发大型电池管理系统的整体方法

本白皮书介绍了使用Ansys解决方案进行电池管理,包括基于物理的模拟解决方案万搏manbext官网app,以使用Ansys Twin Builder、用于安全分析的Ansys medini analysis和用于嵌入式软件开发的Ansys SCADE开发电池系统级视图。



博客

2020 - 12 -博客-图标- block.jpg
作者:卡拉·格雷万

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

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

看看Ansys能为万搏manbext官网app你做什么

今天联系我们

* =必填字段

谢谢你的帮助!

我们在这里回答你的问题,并期待与你交谈。我们的Ansys销售团队的成员将万搏manbext官网app与您联系不久。

页脚图像
Baidu