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

aerospace a..., control sys..., control sys..., matlab, polyspace b... 35 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
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
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
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
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