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


[url= http://www.mathworks.com/company/newsletters/articles/removing-run-time-errors-from-autosar-components-using-polyspace-code-verifiers.html ]更多...[/url]