基于模型的设计DO-178C软件开发与MathWorks工具，第7部分：证明代码的正确性
从系列:基于模型的设计DO-178C软件开发与MathWorks工具
迈克·安东尼，MathWorks公司
在此次网络研讨会系列的第7部分，我们讨论了嵌入式软件的形式验证使用Polyspace的。Polyspace提供这个工作流程中的两个功能。第一个是MISRA AC AGC合规性检查，其中包括的能力，笔者自定义的编码规则的包容性。第二，也是更重要的，是正规的方法的应用，证明在软件的情况下运行时错误。早期使用Simulink设计验证推出了财产证明的概念类似，Polyspace使用正规的方法来证金宝app明不存在运行时错误。
其他资源
系列中的下
相关视频和网络研讨会
您还可以选择从下面的列表中的网站：