快速的规格
Ansys SCADE套件通过简化关键控制应用程序设计和自动化验证、合格/认证代码生成和文档生成，大大降低了安全认证成本。
由于其对互操作性标准的支持以及基于Python的定制功能，Ansys SCADE套件在用户流中无缝集成。欧洲杯四强竞猜
基于模型的设计
在Ansys SCADE套件中创建可靠的嵌入式控制软件
现代汽车、飞机和其他复杂的工业产品由多个电子元件组成，它们完美地集成在一起以提供关键功能。这些先进系统的底层是数百万行嵌入式软件代码，确保在每种操作场景下都能完美运行。
在关键应用中，Ansys SCADE套件在不影响安全性和可靠性的情况下，节省了验证工作，提高了生产率。
-
为关键应用量身定制
-
验证和确认
-
高级基于模型的软件设计
-
自动代码生成
-
高达50%的成本降低 -
认证的代码生成 -
基于python API -
VRX TwinBuilder集成
-
端到端的跟踪能力 -
无缝的目标集成 -
FMU-FMI AUTOSAR支持欧洲杯四强竞猜 -
Simulink导入，S函数导出
-
减少手动测试 -
保证模型完整性 -
无缝用户流集成 -
MISRA合规
斯巴鲁通过Ansys SCADE控制ECU
Automotive leader将95%的开发过程自动化，以实现无与伦比的准确性、速度和成本节约。
在推出新的混合动力和电动汽车模型的竞争中，Ansys SCADE已成为斯巴鲁在过去十年中一个宝贵的战略工具，支持了该汽车制造商毫不妥协的安全和质量承诺。欧洲杯四强竞猜在不牺牲控制软件准确性的前提下，ECU端到端的开发过程中节省的时间对斯巴鲁引进创新技术至关重要。
为ECU生成软件代码的过程始于定义将汽车电子架构的所有部件组合在一起的控制逻辑。这套基于逻辑的规则确保了所有汽车的电子设备都安全可靠地集成在一起。它管理系统交互，在需要时发送警报，还可以在紧急情况下关闭系统。它控制着车辆的动态、发动机功能、车辆的能耗和电池的负载管理。
能力
确保产品的安全性、可靠性、质量和合规性
Ansys SCADE Suite是一个基于模型的关键嵌入式软件开发环境，用户可以以最低的项目认证成本设计和验证关键嵌入式软件。它的正式定义的Scade语言使符号直观和明确
在开发的最早期阶段设计和验证软件，确保安全运行。
关键特性
Ansys SCADE Suite是一个完整的基于模型的解决方案，用于设计、分析、模拟和验证关键应用的可靠嵌入式软件。
- 先进的基于模型的设计
- 与软件架构设计同步
- 模型分析
- 调试和仿真
- 自动代码生成
- SCADE工具集成
- 系统仿真能力
- 嵌入式汽车软件专用解决方案
使用Ansys SCADE套件，您将使用直观的图形表示法，支持数据流和分层状态机的无限嵌套。使用规则检查器确保您的代码符合适用的标准。基于Pytho欧洲杯四强竞猜n的框架使您能够为每个项目的完全定制的解决方案创建自己的规则和指标。
此集成支持体系结构和设计的并行发展，并可根据要求和项目里程碑提供同步。体系结构和设计模型之间的双向同步减少或消除了同步接口的重复工作，以获得最大效率。Ansys SCADE Suite和Ansys SCADE Architect之间的同步支持架构设计直至代码生产流程，如IMA、FACE欧洲杯四强竞猜和AUTOSAR。
Ansys SCADE套件的代码生成器满足模型中提供的规范，无需进行代码验证。因此，验证模型的行为是否正确至关重要。我们的软件配备了多个模型级分析，以验证模型的正确性，并确保开发时间短。您将能够对模型执行静态分析。模型的静态分析（即检查模型是否一致、数据流是否正确键入、初始化是否正确）由代码生成器的前端完成，因此符合各种软件安全标准的最高级别。使用规则检查器，您可以使用基于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 Suite可轻松集成用于系统架构设计、HMI开发和测试以及应用程序生命周期管理的工具，为所有嵌入式软件开发活动提供一个完整的环境
Ansys SCADE套件的高级建模器包括Twin Builder，这是一个强大的建模、仿真和分析虚拟系统原型的平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。
Ansys SCADE套件为汽车市场扩展和简化了系统设计能力。它支持欧洲杯四强竞猜一个开发流程，从AUTOSAR软件组件(SWC)开始，到AUTOSAR rte兼容的可运行程序代码生成:您可以启动一个基于AUTOSAR标准的开发流程，创建AUTOSAR rte兼容的代码生成的Ansys SCADE套件的KCG代码生成器。该解决方案还允许您导入和导出AUTOSAR ARXML交换格式，允许系统工程师之间的多同步并生成兼容的代码。
看看Ansys能为你做些什么
看看Ansys能为你做些什么
联系我们
今天联系我们
