MATLAB爱好者论坛-LabFans.com - 查看单个帖子 - Removing Run-Time Errors from AUTOSAR Components Using Polyspace Code Verifiers

labfans · 2019-10-31, 18:04

This article describes how Polyspace enables Elektrobit to demonstrate more rapidly, more thoroughly, and with less manual review that their automotive software is free of certain run-time errors.

2011-03-21 08:00 AM

更多...

2019-10-31, 18:04	#1
labfans 论坛管理员注册日期: 2007-04-03 帖子: 784 声望力: 5	Removing Run-Time Errors from AUTOSAR Components Using Polyspace Code Verifiers This article describes how Polyspace enables Elektrobit to demonstrate more rapidly, more thoroughly, and with less manual review that their automotive software is free of certain run-time errors. 2011-03-21 08:00 AM 更多...