Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
2 Jan 2013 Teaching Model-Based Design at Politecnico di Torino

Model-Based Software Design, an elective course for fifth-year students, prepares future engineers.

Contributed by: Linda Webb
academic, autosar, code genera..., do-178, 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.

Contributed by: Linda Webb
abstract in..., code certif..., code comple..., code metrics, code reviews 26 1
23 Jan 2013 Accelerating Model Verification with Model Advisor

Use Model Advisor exclusion capability to speed up verification of Simulink and Stateflow models.

Contributed by: Linda Webb
do-178c, iec 61508, iso 26262, maab style..., model advisor 24 1
4 Jun 2013 Verifizieren von Beschleunigungsmodellen mithilfe des Model Advisor

German translation of the article: Accelerating Model Verification with Model Advisor

Contributed by: Linda Webb
do-178c, iec 61508, iso 26262, maab style..., model advisor 3 1

Contact us