Version 3.13, part of Release 2017a, includes the following enhancements:

  • Masking Modified Condition Decision Coverage (MCDC) Analysis: Use masking MCDC​ to achieve increased model coverage
  • Automatic Dead Logic Justification: Exclude unachievable coverage detected by Simulink Design Verifier
  • Clone Detection Improvements: Refactor repeating library patterns and subsystem clones
  • Stateflow Edit-Time Checks for MAAB: Fix guideline violations as you edit
  • Model Metrics API: Analyze referenced models and libraries and aggregate metric data
  • IBM Rational DOORS Next Generation Support: Link and trace model elements to requirements in DOORS Next Generation

See the Release Notes for details.

Version 3.12, part of Release 2016b, includes the following enhancements:

  • Edit-Time Checking: Detect and fix potential standards compliance issues in your model at design time
  • Clone and Variant Detection: Identify modeling patterns to refactor and simplify model
  • MISRA Compliance: Run MISRA checks available in Simulink Verification and Validation
  • Processor-in-the-Loop Code Coverage: Measure code coverage in Processor-in-the-Loop
  • MCDC Model Coverage: Record MCDC coverage for cascaded Simulink logic block networks​​
  • Display Coverage Results: Access, manage, and accumulate model coverage results​​ with Coverage Results Explorer
  • Integrated Coverage Configuration Settings: Access coverage settings integrated within the Configuration Parameters dialog​ box
  • Harness Requirements Linking: Link requirements to model objects in externally stored test harnesses​​

See the Release Notes for details.

Version 3.11, part of Release 2016a, includes the following enhancements:

  • Model Metric APIs: Programmatically run and create metrics
  • Model Advisor Checks for Medical Standard IEC 62304: Check models to comply with medical standards
  • Model Advisor Standards Checks: Check models for naming standard compliance
  • Model Advisor Check Parameterization: Control check behavior by using input parameters
  • Code Coverage for Generated Code: Measure testability of generated code with coverage analysis
  • Requirements Linking: Trace requirements to objects in test harnesses and steps in Test Sequence blocks

See the Release Notes for details.

Version 3.9.1 , part of Release 2015aSP1, includes bug fixes.

See the Release Notes for details.

Version 3.10, part of Release 2015b, includes the following enhancements:

  • Model Advisor checks for size, cyclomatic complexity, and readability model metrics
  • Model Advisor reports in Adobe PDF and Microsoft Word formats
  • Model Advisor check support for JMAAB Guidelines, Version 4.0
  • Block execution recorded during model coverage analysis
  • Manage model coverage parameters within a model configuration set

See the Release Notes for details.

Version 3.9, part of Release 2015a, includes the following enhancements:

  • Coverage measurement for C S-functions
  • Model Advisor checks for MATLAB functions

See the Release Notes for details.