Ansys SCADE Suite 2022功能模块

Ansys SCADE Suite在与配置管理、系统仿真和实时测试工具相连接的完全集成环境中,提供软件数据流和状态机设计及仿真功能。

借助Ansys SCADE Suite,用户将能够使用直观的图形符号,并支持无限制的数据流嵌套和分层状态机。使用规则检查器确保用户代码符合适用的标准。基于Pvthon的框架使用户能够创建自己的规则和指标,从而为每个项目实现完全定制的解决方案。先进的基于模型的设计  01

Ansys SCADE Architect和Ansys SCADE Suite的集成可为用户提供完整软件设计流程 (从架构到详细的组件设计)所需的所有工具。

这种集成支持架构和设计的并行改进,并且可根据请求和项目里程碑进行同步架构和设计模型之间的双向同步可减少或消除同步接口时的重复工作,以实现最高效率。Ansys SCADE Suite和Ansys SCADE Architect之间的同步可支持架构设计,并涵盖在IMA、FACE和AUTOSAR等环境中的代码生成流程。这种集成支持架构和设计的并行改进,并且可根据请求和项目里程碑进行同步架构和设计模型之间的双向同步可减少或消除同步接口时的重复工作,以实现最高效率。Ansys SCADE Suite和Ansys SCADE Architect之间的同步可支持架构设计,并涵盖在IMA、FACE和AUTOSAR等环境中的代码生成流程  01

为确保Ansys SCADE Suite模型能够满足相关要求,用户可以执行静态分析,根据规则检查模型,评估安全性需求以及执行时序和堆栈优化分析。

Ansys SCADE Suite的代码生成器可满足模型中提供的需求,无需进行代码验证因此,验证模型行为是否正确变得至关重要。我们的软件配备了多个模型级分析,以验证模型的正确性并确保缩短开发时间。用户将能够执行模型的静态分析。模型的静态分析 (即检查模型是否一致、数据流是否正确键入、初始化是否正确完成)由代码生成器的前端完成,因此符合各种软件安全性标准的最高级别要求。通过规则检查器,用户可以使用基于Python的框架自定义和添加特定检查,该框架支持必要或建议规则的证明机制。

Ansys SCADE Suite Design Verifier是一款验证助手工具,它可以形式化表示和评估安全性需求,并提供一种可在开发流程早期阶段发现错误的高效方法。它由Prover技术以及具有浮点计算支持的多核形式验证引擎提供支持。模型分析  01

Ansys SCADE Suite仿真功能基于实际生成的代码,可为用户提供强大的可视化调试环境,使新点和观察点能够检查内部变量和输出值。

Ansys SCADE Suite支持用户使用图形和文本块定义软件设计。完成定义后,用户可以使用基于自动生成的代码的仿真功能,仿真软件设计或其任何单独的模块仿真和调试功能包括可执行设计、实际生成代码的详细仿真、场景录制和播放规范描述错误的早期检测、自动非回归测试等。调试和仿真  01

此代码生成器可节省编码阶段的验证工作,例如对AnsysSCADE Suite KCG生成的代码进行代码审查和低级需求测试这种生产力提升可缩短认证和/或修改的时间和工作量。

Ansys SCADE Suite KCG是一款来自Scade模型的C和Ada代码生成器,经过认证成为符合A级DO-178B软件标准和DO-178C/DO-330 TOL-1标准的开发工具; 经过IEC61508 SIL3标准、EN 50128 SIL 3/4标准的认证以及符合IS0 26262软件 (最高可达ASIL D)的要求,这意味着KCG开发流程符合这些软件安全性标准。Ansys SCADESuite使用多核代码生成器来生成多核代码。在模型中识别出特定的运算符实例,以使其成为可并行化的任务。这些任务的规范独立于模型,允许实现各种配置。自动代码生成  01

Ansys SCADE Suite可与系统架构设计、HMI开发和测试以及应用生命周期管理的工具轻松集成,为所有嵌入式软件开发活动提供综合全面的环境。SCADE工具集成  01

Ansys Twin Builder的系统仿真功能可帮助用户在统一的环境中连接软硬件,从而构建产品的完整虚拟系统原型。

Ansys SCADE Suite的高级建模器包括Twin Builder,这是一个用于模拟、仿真和分析虚拟系统原型的强大平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。

SCADE汽车软件包包括SCADE Architect、 SCADESuite和SCADE LifeCycle,提供AUTOSAR R4.2.2支持、校准和定点支持以及合格代码生成。

Ansys SCADE Suite可扩展并简化汽车市场的系统设计功能。它支持从AUTOSAR软件组件 (SWC) 到符合AUTOSAR RTE的可运行代码生成的开发流程: 用户可以基于AUTOSAR标准启动开发流程,以创建由Ansys SCADE Suite KCG代码生成器生成的符合AUTOSAR RTE标准的代码。此外,该解决方案还允许用户导入和导出AUTOSARARXML交换格式,支持系统工程师之间实现多同步工作并生成合规代码。嵌入式汽车软件的专用解决方案  01

评论