Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
22 Apr 2011 Software Quality Objectives for Source Code

Resources for quality assurance for automotive systems

application..., automotive, code verifi..., documentation, embedded code 59 1
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... 40 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... 39 1
4 Jun 2013 Building Confidence in the Quality and Reliability of Critical Software

Techniques based on formal methods for verifying complex avionics systems.

Contributed by: Linda Webb
abstract in..., avionics so..., avionics sy..., code verifi..., critical so... 10 1

Contact us