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