2/2022
网络研讨会
Ansys 2022 R1:利用Ansys SCADE实现关键嵌入式软件的最大效率
本次网络研讨会重点介绍了Ansys 2022 R1中用于验证和验证(V&V)的最新嵌入式软件创新。它展示了基于Ansys scade的V&V工作流的高度提高的效率，重点是新的，独特的模型覆盖辅助功能和设计验证器的增强形式证明。
覆盖分析助手可以在设计阶段加速检测模型中不可覆盖的部分，也可以在测试阶段提供输入场景以改进模型(和代码)覆盖，或者在情况下提供验证模板uncoverability。
Design Verifier现在允许分析导入的操作符，并使用抽象操作符减少分析时间。
与会者将学到什么
- 如何为嵌入式软件加速复杂且耗时的模型和代码覆盖活动
- 新的SCADE覆盖分析助手如何彻底改变基于模型的测试过程
- SCADE如何通过支持和简化嵌入式软件开发中的形式化方法来帮助提高软件质量和健壮性
演讲者:
凉山州Dormoy
