快速的规格
Ansys SCADE Suite通过简化关键控制应用程序设计和自动化验证、合格/认证代码生成和文档生成，大大降低了安全认证成本。
Ansys SCADE Suite无缝集成在用户流程中，这得益于其对互操作性标准的支持，以及基于python的定制功能。
基于模型的设计
可靠的嵌入式控制软件在Ansys SCADE套件中创建
现代汽车、飞机和其他复杂的工业产品由多个电子元件组成，完美集成以提供关键功能。这些先进系统的底层是数百万行嵌入式软件代码，确保它们在任何操作场景下都能完美运行。
Ansys SCADE Suite可在不影响关键应用的安全性和可靠性的情况下节省验证工作并提高生产率。
-
为关键应用量身定制
-
验证与确认
-
高级基于模型的软件设计
-
自动代码生成
-
高达50%的成本降低 -
认证代码生成 -
基于python API -
VRX, TwinBuilder集成
-
端到端的跟踪能力 -
无缝目标集成 -
FMU-FMI, AUTOSAR支持 -
Simulink导入，S-Function导出
-
减少手工测试 -
保证模型完整性 -
无缝用户流集成 -
MISRA合规
斯巴鲁用Ansys SCADE控制ecu
汽车领导者自动化95%的开发过程，以实现无与伦比的准确性，速度和成本节约。
在推出新型混合动力和电动汽车车型的竞争中，Ansys SCADE在过去十年中已成为斯巴鲁(Subaru)的宝贵战略工具，支持该汽车制造商对安全和质量的承诺。在不牺牲控制软件准确性的前提下，ECU端到端开发过程中节省的时间对斯巴鲁引进创新技术的能力至关重要。
为ECU生成软件代码的过程首先要定义控制逻辑，以便将汽车电子架构的所有部分整合在一起。这套基于逻辑的规则确保了所有汽车电子设备的安全集成。它管理系统交互，在需要时发送警报，还可以在紧急情况下关闭系统。它控制车辆动力学、发动机功能、车辆能耗和电池负载管理。
功能
确保产品的安全性、可靠性、质量和合规性
Ansys SCADE Suite是一种基于模型的关键嵌入式软件开发环境，允许用户以最小的项目认证成本设计和验证关键嵌入式软件。其正式定义的Scade语言使表示法直观而明确
关键特性
Ansys SCADE Suite是一个完整的基于模型的解决方案，用于设计、分析、模拟和验证关键应用的可靠嵌入式软件。
- 基于模型的高级设计
- 与软件架构设计的同步
- 模型分析
- 调试与仿真
- 自动代码生成
- SCADE工具集成
- 系统仿真能力
- 嵌入式汽车软件专用解决方案
使用Ansys SCADE Suite，您将使用直观的图形符号，支持无限的数据流嵌套和分层状态机。使用规则检查器确保您的代码符合适用的标准。基于python的框架使您能够为每个项目创建完全定制的解决方案的规则和指标。
这种集成支持架构和设计的并行发展，并在请求和项目里程碑时提供同步。体系结构和设计模型之间的双向同步减少或消除了同步接口的重复工作，以获得最大的效率。Ansys SCADE Suite与Ansys SCADE Architect在IMA、FACE和AUTOSAR等环境中支持架构设计直至代码生产流程。
Ansys SCADE Suite的代码生成器满足模型中提供的规格，而无需进行代码验证。因此，验证模型的行为是否正确是至关重要的。我们的软件配备了多个模型级分析，以验证模型正确性并确保较短的开发时间。您将能够执行模型的静态分析。模型的静态分析(例如，检查模型是否一致，数据流是否正确输入，初始化是否正确完成)是由代码生成器的前端完成的，因此在各种软件安全标准的最高级别上是合格的。使用Rule Checker，您可以使用基于python的框架自定义和添加特定的检查，该框架支持对所需规则或建议规则的证明机制。
Ansys SCADE Suite Design Verifier是一个验证助手，可以正式表达和评估安全需求，为在开发过程的早期发现bug提供了一种高效的方法。它由Prover®技术提供支持，并由支持浮点计算的多核正式证明引擎支持。
Ansys SCADE Suite允许您使用图形和文本块定义软件设计。一旦定义，您就可以使用基于自动生成代码的模拟功能来模拟软件设计或其任何单个块。模拟和调试功能包括可执行设计、实际生成代码的详细模拟、场景记录和回放、规范错误的早期检测、自动非回归测试等等。
Ansys SCADE Suite KCG是来自SCADE模型的C和Ada代码生成器，已被合格为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 Suite可轻松集成用于系统架构设计、HMI开发和测试以及应用程序生命周期管理的工具，为所有嵌入式软件开发活动提供完整的环境
Ansys SCADE套件的高级建模器包括双胞胎建设者，一个强大的虚拟系统原型建模、仿真和分析平台。它使产品开发团队能够验证和优化其软件控制的多领域系统设计的性能。
Ansys SCADE Suite扩展并简化了汽车市场的系统设计功能。它支持从AUTOSAR软件组件(SWC)到为Runnables生成符合AUTOSAR rte标准的代码的开发流程:您可以启动基于AUTOSAR标准的开发流程，创建由Ansys SCADE Suite的KCG代码生成器生成的符合AUTOSAR rte标准的代码。该解决方案还允许您导入和导出AUTOSAR ARXML交换格式，允许系统工程师之间的多同步并生成兼容的代码。
Ansys软件可访问
对于Ansys来说，所有用户，包括残疾人，都能访问我们的产品是至关重要的。因此，我们努力遵循基于美国访问委员会(Section 508)、Web内容可访问性指南(WCAG)和自愿产品可访问性模板(VPAT)当前格式的可访问性要求。
看看Ansys能为您做些什么
看看Ansys能为您做些什么
联系我们
立即联系我们
