快速规格
ANSYS SCADE SUITE通过简化关键控制应用程序设计和自动化验证,有资格/认证的代码生成以及文档生成来大大降低安全认证成本。
ANSYS SCADE SUITE由于支持互操作性标准及其基于Python的自定义功能,无缝集成在用户流中。
现代汽车,飞机和其他复杂的工业产品由多种电子组件组成,完美地集成了至关重要的功能。这些高级系统的基础是数百万行嵌入式软件代码,可确保其在每个操作场景下的完美操作。
ANSYS SCADE SUITE节省了验证工作,并提高了生产率,而不会损害关键应用程序的安全性和可靠性。
ANSYS SCADE SUITE通过简化关键控制应用程序设计和自动化验证,有资格/认证的代码生成以及文档生成来大大降低安全认证成本。
ANSYS SCADE SUITE由于支持互操作性标准及其基于Python的自定义功能,无缝集成在用户流中。
汽车领导者自动化了95%的开发过程,以实现无与伦比的准确性,速度和成本节省。
在推出新的混合动力和电动汽车模型的比赛中,ANSYS SCADE在过去十年中已成为Subaru的宝贵战略工具,支持汽车制造商对安全性和质量的承诺。在ECU的端到端开发过程中节省的时间(而不牺牲其控制软件的准确性)对于Subaru引入创新新技术的能力至关重要。
为ECU生成软件代码的过程始于定义控制逻辑,以将汽车电子体系结构的所有部分汇总在一起。这组基于逻辑的规则可确保所有汽车的电子设备都安全,安全地集成。它管理系统交互,在需要时发送警报,并且还可以在紧急情况下关闭系统。它控制着车辆动力学,发动机功能,车辆的能耗和电池的负载管理。
功能
ANSYS SCADE SUITE是针对关键嵌入式软件的基于模型的开发环境,使用户可以设计和验证具有最低项目认证成本的关键嵌入式软件。它正式定义的SCADE语言使符号直观且明确
ANSYS SCADE SUITE是一个完整的基于模型的解决方案,用于设计,分析,模拟和验证用于关键应用程序的可靠嵌入式软件。
使用ANSYS SCADE套件,您将使用直观的图形符号,并支持数据流和分层状态机的无限嵌套。使用规则检查器确保您的代码符合适用的标准。一个基于Python的框架使您可以为每个项目创建自己的规则和指标。
这种集成可以根据要求和项目里程碑可用的同步实现架构和设计的并行演变。架构和设计模型之间的双向同步减少或消除了同步界面中的努力的重复,以提高效率。Ansys Scade Suite和Ansys Scade Architect在IMA,FACE和AUTOSAR等上下文中支持建筑设计,以实现代码生产流。
ANSYS SCADE SUITE的代码生成器符合模型中提供的规格,而无需代码验证。结果,验证模型的行为是否正确至关重要。我们的软件配备了多个模型级分析,以验证模型正确性并确保短期开发时间。您将能够对模型进行静态分析。对模型的静态分析(即检查模型是否一致,正确键入数据流,正确完成初始化)是通过代码生成器的前端实现的,因此在各种软件安全的最高级别上有资格标准。使用规则检查器,您可以使用基于Python的框架自定义并添加特定的支票,该框架支持所需或咨询规则的理由机制。
ANSYS SCADE SUITE设计验证者是一位验证助手,可正式表达和评估安全要求,从而提供了一种有效的方法来在开发过程中找到错误。它由Prover®技术提供动力,并由具有浮点计算支持的多功能正式证明引擎支持。
ANSYS SCADE SUITE允许您定义具有图形和文本块的软件设计。定义后,您可以使用基于自动生成的代码的仿真功能来模拟软件设计或其任何单个块。仿真和调试功能包括可执行设计,对实际生成的代码的详细仿真,方案记录和播放,规格错误的早期检测,自动非回归测试等等。
ANSYS SCADE SUITE KCG是SCADE模型的C和ADA代码生成器,该模型已成为DO-178B软件的开发工具,直至A级A级和DO-178C/DO-330在TQL-1上;在SIL 3处获得IEC 61508的认证,在SIL 3/4处获得EN 50128的认证;并有资格使用ASIL D的ISO 26262软件,这意味着KCG开发过程符合这些软件安全标准。ANSYS SCADE SUITE可以使用多核代码生成器启用多重点代码生成。在模型中确定了操作员的特定实例,以成为可行的任务。这些任务的规范独立于模型,允许各种配置。
ANSYS SCADE套件可以轻松地与系统架构设计,HMI开发和测试以及应用程序生命周期管理的工具集成在一起,为所有嵌入式软件开发活动提供完整的环境
Ansys Scade Suite的高级建模者包括双建筑商,一个强大的平台,用于建模,模拟和分析虚拟系统原型。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。
ANSYS SCADE套件扩展并简化了汽车市场的系统设计功能。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.
资源与事件
对于ANSYS来说,所有用户(包括残疾人)都可以访问我们的产品至关重要。因此,我们努力根据美国访问委员会(第508节),Web内容可访问性指南(WCAG)以及自愿产品可访问性模板(VPAT)的当前格式遵循可访问性要求。