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