Version 4.0, part of Release 2017b, includes the following enhancements:

  • Simulink Verification and Validation Packaging: Moved model and generated code coverage functionality and component verification functions such as slvnvmakeharness to Simulink Coverage
  • Coverage Filtering API: Filtering choices for coverage justifications that include specified decisions, conditions, and outcomes
  • Logical Expressions in Assignment Statements: Record Condition and MCDC coverage for logical expressions in assignments in Stateflow and MATLAB Function Blocks
  • Function and Function Call Coverage: Collect SIL & PIL coverage as required by ISO 26262

See the Release Notes for details.