Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
16 Oct 2013 Solar Impulse Develops Advanced Solar-Powered Airplane

Solar Impulse Develops Advanced Solar-Powered Airplane

Contributed by: Alan Poon
aerospace a..., control sys..., control sys..., matlab, polyspace b... 22 1
1 Oct 2013 Alenia Aermacchi Develops Autopilot Software for DO-178B Level A Certification

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

Contributed by: Alan Poon
aerospace a..., control sys..., do qualific..., embedded coder, embedded sy... 24 1
21 Dec 2012 Improving Software Quality with Static Code Analysis

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

Contributed by: Linda Webb
abstract in..., code certif..., code comple..., code metrics, code reviews 25 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 56 1
22 Apr 2011 Static Code Analysis with Polyspace Products

Learn how to improve code quality without code execution.

Contributed by: Denise Tarbox
control design, demo, embedded code, polyspace, polyspace b... 177 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... 36 1

Contact us