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