跳转至主要内容

必威体育网址ANSYS SCADE SUITE.
基于模型的开发环境,用于关键嵌入式软件

必威体育网址ANSYS SCADE SUITE是一种基于型号的开发环境,可用于可靠的嵌入式软件,它提供了与需求管理,模型的设计,验证,认证/认证的代码生成功能和互操作性的联系,与其他开发工具和平台提供联系。

基于模型的设计

在Ansys SCADE套件中创建了可靠的嵌入式控制软件必威体育网址

现代汽车,飞机和其他复杂的工业产品由多种电子元件组成,完美集成,提供关键功能。52betway.com这些高级系统的基础是数百万行的嵌入式软件代码,可确保在每个操作场景下的完美操作。

必威体育网址在关键应用中,Ansys SCADE套件节省了验证工作,并在不影响安全性和可靠性的情况下提高了生产率。52betway.com

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

快速规格

必威体育网址Ansys SCADE套件通过简化关键控制应用设计和自动化验证、合格/认证代码生成和文档生成,大大降低了安全认证成本。

必威体育网址Ansys SCADE套件无缝集成在用户流程中,这得益于它对互操作性标准的支持,以及基于python的定制功能。

  • 减少了50%的成本
  • 认证的代码生成
  • 基于python API
  • VRX,TwinBuilder集成
  • 端到端可追溯性
  • 无缝的目标集成
  • FMU-FMI,AutoSAR支持
  • Simulink Import,S函数导出
  • 减少手动测试
  • 保证型号完整性
  • 无缝用户流集成
  • MISRA合规

Subaru通过Ansys Scade控制Ecus必威体育网址

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

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

SCADE解决方案在节省宝贵时间的同时,也支持了斯巴鲁提供高水平产品质量和乘客安全的长期承诺。”52betway.com

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

在推出新的混合动力和电动汽车车型的竞争中,Ansys SCADE在过去十年中已经成为斯巴鲁的一个有价值的战略工具,支持汽车制必威体育网址造商对安全性和质量的坚定承诺。在不牺牲控制软件准确性的前提下,ECU端到端开发过程中节省的时间对斯巴鲁引进创新技术的能力至关重要。

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

能力

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

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

关键特性

必威体育网址Ansys SCADE套件是一个完整的基于模型的解决方案,用于设计、分析、仿真和验证关键应用的可靠嵌入式软件。

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

使用ANS必威体育网址YS SCADE SUITE,您将使用直观的图形符号,并支持无限嵌套数据流和分层状态机。使用规则检查器确保您的代码符合适用的标准。基于Python的框架使您可以为每个项目完全定制的解决方案创建自己的规则和指标。

视频:Ansys SCADE套件必威体育网址如何工作?

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

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

必威体育网址ANSYS SCADE SUITE的代码发生器满足模型中提供的规格,无需代码验证。因此,验证模型的行为是否正确是至关重要的。我们的软件配备了多种模型级别分析,以验证模型正确性并确保较短的开发时间。您将能够对模型进行静态分析。Static analysis of the model (i.e., checks that the model is consistent, data flows are properly typed, initializations are properly done) are achieved by the front-end of the code generator and is therefore qualified at the highest levels for the various software safety standards. With the Rule Checker, you can customize and add specific checks using a Python-based framework that supports a justification mechanism for required or advisory rules.

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

必威体育网址ANSYS SCADE SUITE允许您使用图形和文本块定义软件设计。一旦定义,您可以使用基于自动生成的代码来模拟软件设计或其任何单个块使用模拟功能。仿真和调试功能包括可执行设计,实际生成的代码的详细仿真,方案记录和播放,提前检测规范错误,自动非回归测试等。

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

视频:Ansys SCADE套件必威体育网址如何处理自动代码生成?

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

Ansy必威体育网址s SCADE套件的高级建模器包括Twin Builder,一个用于建模、仿真和分析虚拟系统原型的强大平台。它使产品开发团队能够验52betway.com证和优化他们的软件控制,多领域系统设计的性能。

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

资源和事件

实例探究

相机

必威体育网址ANSYS + RAIL-MIL

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


小册子

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

必威体育网址ANSYS SCADESUITE®2021R1数据表

SCADE套件是Ansys®嵌入式软件产品线的一部分,必威体育网址为用户提供关键嵌入式软件的基于模型的开发环境。52betway.com

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

方法手册

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


白皮书

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

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

本白皮书描述了使用Ansys解决方案进行电池管理,包括使用Ansys Twi必威体育网址n Builder开发基于物理的模拟解决方案,使用Ansys medini分析进行安全性分析,使用Ansys SCADE进行嵌入式软件开发。



博客

2020-12-blog-icon-block.jpg
作者:kara gremillion

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

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

准备好成为不可能的可能吗?

联系我们

* =必填字段

谢谢你伸出援手!

我们在这里回答您的问题,并期待与您交谈。我们Ansys销售团队的成员将很必威体育网址快与您联系。

页脚图像