Polyspace enables Elektrobit to better demonstrate that their software is free of certain errors.
| Date | Contributor | Description | Rating |
|---|---|---|---|
| 6 Jun 2011 | Linda Webb |
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. |
| Tag | Applied By | Date/Time |
|---|---|---|
| eb tresos autocore | Linda Webb | 6 Jun 2011 at 9:51am |
| polyspace | Linda Webb | 6 Jun 2011 at 9:51am |
| misra-c | Linda Webb | 6 Jun 2011 at 9:51am |
| code verification | Linda Webb | 6 Jun 2011 at 9:51am |
| iso 26262 | Linda Webb | 6 Jun 2011 at 9:51am |
| code verifier | Linda Webb | 6 Jun 2011 at 9:51am |
| autosar | Linda Webb | 6 Jun 2011 at 9:51am |
| run-time errors | Linda Webb | 6 Jun 2011 at 9:51am |
| ecu | Linda Webb | 6 Jun 2011 at 9:51am |
| automotive software | Linda Webb | 6 Jun 2011 at 9:51am |