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

Contributed by: Denise Tarbox
application..., automotive, code verifi..., documentation, embedded code 57 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... 37 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... 8 1

Contact us