Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
4 Jun 2013 Building Confidence in the Quality and Reliability of Critical Software

Techniques based on formal methods for verifying complex avionics systems.

abstract in..., avionics so..., avionics sy..., code verifi..., critical so... 10 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.

automotive..., autosar, code verifi..., code verifier, eb tresos a... 40 1
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
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

aerospace a..., article, automotive, code verifi..., control des... 39 1

Contact us