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