Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
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 26 1
26 Sep 2014 Best Practices for Implementing Modeling Standards Enterprise-Wide

Implementing Modeling Standards

Contributed by: Alex
do-178b, high-integr..., iec 61508, iec 61508-3, iso 26262 11 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 29 1
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... 43 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