Documentation Center

  • Trials
  • Product Updates

Model Checks in Simulink Verification and Validation

  • By Category | Alphabetical List
  • Model Guidelines Compliance

    DO-178C/DO-331 Checks

    Check safety-related optimization settings
    Check safety-related diagnostic settings for solvers
    Check safety-related diagnostic settings for sample time
    Check safety-related diagnostic settings for signal data
    Check safety-related diagnostic settings for parameters
    Check safety-related diagnostic settings for data used for debugging
    Check safety-related diagnostic settings for data store memory
    Check safety-related diagnostic settings for type conversions
    Check safety-related diagnostic settings for signal connectivity
    Check safety-related diagnostic settings for bus connectivity
    Check safety-related diagnostic settings that apply to function-call connectivity
    Check safety-related diagnostic settings for compatibility
    Check safety-related diagnostic settings for model initialization
    Check safety-related diagnostic settings for model referencing
    Check safety-related model referencing settings
    Check safety-related code generation settings
    Check safety-related diagnostic settings for saving
    Check for blocks that do not link to requirements
    Check state machine type of Stateflow charts
    Check Stateflow charts for ordering of states and transitions
    Check Stateflow debugging options
    Check usage of lookup table blocks
    Check MATLAB Code Analyzer messages
    Check MATLAB code for global variables
    Check for inconsistent vector indexing methods
    Check for blocks not recommended for C/C++ production code deployment
    Check Stateflow charts for uniquely defined data objects
    Check usage of Math Operations blocks
    Check usage of Signal Routing blocks
    Check usage of Logic and Bit Operations blocks
    Check usage of Ports and Subsystems blocks
    Check for MATLAB Function block interfaces with inherited properties
    Check MATLAB Function block metrics
    Display model version information

    ISO 26262 Checks

    IEC 61508 Checks

    EN 50128 Checks

    MathWorks Automotive Advisory Board (MAAB) Checks

    Naming Conventions

    Model Architecture

    Model Configuration Options

    Simulink

    Stateflow

    MATLAB Functions and Code

    Requirements Consistency Checks

    Was this topic helpful?