Version 4.0, part of Release 2017b, includes the following enhancements:
- Simulink Verification and Validation Packaging: Moved compliance checking, model metrics, clone detection and refactoring, and model transformer to SimulinkCheck
- Metrics Dashboard: Collect and view metric data for quality assessment
- MathWorks High-Integrity Guidelines and Checks: Verify compliance with safety standards by using high-integrity checks and guidelines
- Modeling Support for Secure Coding Standards: Check model for compliance with secure coding requirements in CERT C, CWE, ISO/IEC TS 17961 standards to improve security of generated code
- MISRA C: 2012 Modeling Checks: Improve compliance of generated code by using new MISRA C:2012 standards checks
See the Release Notes for details.