来自系列:使用MathWorks工具的DO-178C软件开发模型设计
Mike Anthony,Mathworks
在本网络研讨会系列的第7部分中,我们讨论了PolySpace的使用进行正式验证嵌入式软件。PolySpace在此工作流程中提供了两个功能。首先是包含MISRA AC AGC合规检查器,其中包括作者自定义编码规则的功能。第二种,更重要的是,正式方法的应用程序证明软件中没有运行时错误。与早期介绍的概念类似于Simulink Design Verifier用于属性证明,PolyS金宝apppace使用正式方法来证明没有运行时错误。
记录:2013年3月31日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。