| Date | Link | Tags | Clicks | Descriptions | Ratings |
|---|---|---|---|---|---|
| 6 Jun 2011 |
Removing Run-Time Errors from AUTOSAR Components Using Polyspace Code Verifiers
Polyspace enables Elektrobit to better demonstrate that their software is free of certain errors. Contributed by: Linda Webb
|
automotive..., autosar, code verifi..., code verifier, eb tresos a... | 35 | 1 | |
| 22 Apr 2011 |
Software Quality Objectives for Source Code
Resources for quality assurance for automotive systems Contributed by: Denise Tarbox
|
application..., automotive, code verifi..., documentation, embedded code | 47 | 1 | |
| 2 Jul 2009 |
Verifying Code When Software Reliability Is Critical
PolySpace products prove the absence of run-time errors without the need to compile and run the code Contributed by: Linda Webb
|
aerospace a..., article, automotive, code verifi..., control des... | 35 | 1 |