论文部分内容阅读
MathWorks宣布，Simulink Design Verifier和Simulink Verification and Validation已通过T？VS？D认证，允许在符合ISO 26262标准的开发流程中使用。这一独立评估结果可以帮助开发高完整性嵌入式系统的汽车工程师们树立必要的信心．让他们相信这些验证工具能够按照其使用案例正常运作。