从系列中:基于模型的DO-178C软件开发设计
迈克·安东尼,马修
在本系列网络研讨会的第7部分中,我们讨论了如何使用Polyspace对嵌入式软件进行正式验证。Polyspace在此工作流中提供了两种功能。第一种功能是包含MISRA AC AGC合规性检查器,其中包括编写自定义编码规则的功能。第二种功能更重要,是应用程序用于证明软件中不存在运行时错误的形式化方法。与前面使用Simulink Design Verifier进行属性证明时引入的概念类似,Polyspace使用形式化方法来证明不存在运行时错误。万博1manbetx
记录日期:2013年3月31日
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区站点不适合您所在位置的访问。