42:25视频长度为42:25。
使用MathWorks工具进行DO-178C软件开发的基于模型的设计,第7部分:证明代码的正确性
在本系列网络研讨会的第7部分中,我们将讨论如何使用Polyspace对嵌入式软件进行形式化验证。Polyspace在这个工作流中提供了两个功能。首先是MISRA AC AGC合规性检查器,其中包括编写自定义编码规则的功能。第二,也是更重要的,是应用形式化方法来证明软件中没有运行时错误。类似于前面用Simulink Design Verifier引入的属性证明概念,Polyspa金宝appce使用形式化方法来证明没有运行时错误。
记录日期:2013年3月31日
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。