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.