文件名称：Polyspace for AUTOSAR 演示：演示如何使用 R2018a 中引入的“Polyspace for AUTOSAR”功能-matlab开发
文件大小：1.63MB
文件格式：ZIP
更新时间：2024-06-18 08:14:39
matlab
该演示演示了使用MATLAB和Simulink（通过自定义应用程序）使用Polyspace Code Prover来证明AUTOSAR软件组件中不存在运行时错误（声音静态分析）是多么容易。
【文件预览】：
PolyspaceForAUTOSAR_demo.zip