![[qh]](https://images.ansys.com/is/image/ansys/2021-02-powerful-sim-tools)
网络研讨会
基于模型开发的形式化验证
现代电子系统为消费者带来了许多好处，在汽车、航空航天、医疗保健和其他应用中提供了更高水平的功能和安全性。然而，管理这些系统的复杂性也给验证它们的公司带来了重大挑战。通过测试进行验证可以消耗很大一部分开发成本，而不能提供软件满足其安全要求的充分信心。
当涉及到安全关键型系统时，所有可能威胁到系统级安全属性的极端情况都需要解决。正式的验证允许您表达和评估安全需求，并在开发过程的早期有效地发现错误。系统级分析可以映射到软件中，从而缩小了引入复杂算法所造成的差距。
在本次网络研讨会中，Ansys和P万博rover Technology将演示正式证明技术(如Ansys SCADE Suite Design Verifier)如何:
- 在开发过程的早期发现不想要的行为
- 为您的验证活动带来价值并改进kpi
- 应用于基于模型的方法
主持人
Ansys首席产品经理Francois-Xavier Dormoy万博
Olav Bandmann, Prover Technology首席技术官
