跳转到主要内容

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

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

基于模型的设计

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

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

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

  • check-icon-outline.png
    为关键应用量身定制
  • check-icon-outline.png
    验证和确认
  • check-icon-outline.png
    高级基于模型的软件设计
  • check-icon-outline.png
    自动代码生成
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进行控制

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

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

SCADE解决方案节省了宝贵的时间,同时也支持了斯巴鲁长期以来对产品质量和乘客安全的承诺。”爱游戏棋牌

——斯巴鲁高级工程师川上裕二

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

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

功能

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

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

关键特性

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

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

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

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

此集成支持体系结构和设计的并行发展,并可根据要求和项目里程碑提供同步。体系结构和设计模型之间的双向同步减少或消除了同步接口的重复工作,以获得最大效率。Ansys SCADE Suite和Ansys SCADE Architect之间的同步支持架构设计直至代码生产流程,如IMA、FACE爱游戏棋牌和AUTOSAR。

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

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

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

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

Ansys 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的开发过程符合这些软件安全标准。Ansys SCADE套件可以使用多核代码生成器生成多核代码。在模型中识别操作符的特定实例,使之成为可并行化的任务。这些任务的规范是独立于模型的,允许各种配置。

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

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

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

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

资源和事件

案例研究

相机

Ansys + Rail-Mil

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


宣传册

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

Ansys SCADE Suite®2021 R1 Datasheet

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

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

方法手册

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


白皮书

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

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

本白皮书描述了在电池管理中使用Ansys解决方案,包括基于物理的模拟解决方案,使用Ansys Twin Builder开发电池的系统级视图,Ansys medini分析用于安全分析,Ansys SCADE用于嵌入式软件开发。



博客

2020 - 12 -博客-图标- block.jpg
作者:卡拉·格里米恩

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

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

看看Ansys能为你做什么

今天联系我们

* =必填字段

谢谢你的帮助!

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

页脚的形象