为确保Ansys SCADE Suite模型能够满足相关要求,用户可以执行静态分析,根据规则检查模型,评估安全性需求以及执行时序和堆栈优化分析。
Ansys SCADE Suite的代码生成器可满足模型中提供的需求,无需进行代码验证因此,验证模型行为是否正确变得至关重要。我们的软件配备了多个模型级分析,以验证模型的正确性并确保缩短开发时间。用户将能够执行模型的静态分析。模型的静态分析 (即检查模型是否一致、数据流是否正确键入、初始化是否正确完成)由代码生成器的前端完成,因此符合各种软件安全性标准的最高级别要求。通过规则检查器,用户可以使用基于Python的框架自定义和添加特定检查,该框架支持必要或建议规则的证明机制。
Ansys SCADE Suite Design Verifier是一款验证助手工具,它可以形式化表示和评估安全性需求,并提供一种可在开发流程早期阶段发现错误的高效方法。它由Prover技术以及具有浮点计算支持的多核形式验证引擎提供支持。
此代码生成器可节省编码阶段的验证工作,例如对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使用多核代码生成器来生成多核代码。在模型中识别出特定的运算符实例,以使其成为可并行化的任务。这些任务的规范独立于模型,允许实现各种配置。
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交换格式,支持系统工程师之间实现多同步工作并生成合规代码。