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 Static Code Analysis with Polyspace Products

Learn how to improve code quality without code execution.

control design, demo, embedded code, polyspace, polyspace b... 196 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
1 Oct 2013 Alenia Aermacchi Develops AutopilotSoftware for DO-178B Level A Certification

Alenia Aermacchi Develops Autopilot
Software for DO-178B Level A Certification

aerospace a..., control sys..., do qualific..., embedded coder, embedded sy... 41 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
16 Oct 2013 Solar Impulse Develops Advanced Solar-Powered Airplane

Solar Impulse Develops Advanced Solar-Powered Airplane

aerospace a..., control sys..., control sys..., matlab, polyspace b... 34 1
21 Dec 2012 Improving Software Quality with Static Code Analysis

Development teams improve code quality with static code analysis using Polyspace code verifiers.

abstract in..., code certif..., code comple..., code metrics, code reviews 31 1

Contact us