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