登录论坛

查看完整版本 : 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


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