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.