By Product
By Task
Select product categories or items from the following list:

Select or deselect all

Simulink
        Identify unconnected lines, input ports, and output ports
        Check root model Inport block specifications
        Check optimization settings
        Check for parameter tunability information ignored for referenced models
        Check for implicit signal resolution
        Check for optimal bus virtuality
        Check for calls to slDataTypeAndScale()
        Check for Discrete-Time Integrator blocks with initial condition uncertainty
        Identify disabled library links
        Identify parameterized library links
        Identify unresolved library links
        Identify model reference variants and variant subsystems that override variant choice
        Identify configurable subsystem blocks for converting to variant subsystem blocks
        Check usage of function-call connections
        Check signal logging save format
        Check and update masked blocks in library to use promoted parameters
        Runtime diagnostics for S-functions
        Check if Read/Write diagnostics are enabled for Data Store blocks
        Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues
        Check file for foreign characters
        Check Model History properties
        Open the Upgrade Advisor
        Check for non-continuous signals driving derivative ports
        * Check for partial structure parameter usage with bus signals
        * Check for proper bus usage
        * Check for potentially delayed function-call block return values
        * Identify block output signals with continuous sample time and non-floating point data type
        * Check for proper Merge block usage
        * Check consistency of initialization parameters for Outport and Merge blocks
        * Check data store block sample times for modeling errors
        * Check for potential ordering issues involving data store access
Embedded Coder
SimEvents
Simulink Verification and Validation
    Modeling Standards
        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 usage of Math blocks
                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 for inconsistent vector indexing methods
                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
                * Display model version information
        IEC 61508 and ISO 26262 Checks
                Check state machine type of Stateflow charts
                Check for inconsistent vector indexing methods
                Display model metrics and complexity report
                Check for unconnected objects
                Check for fully defined interface
                Check for questionable constructs
                Check for model objects that do not link to requirements
                * 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
                * Display configuration management data
                * Check usage of Stateflow constructs
        MathWorks Automotive Advisory Board Checks
                Check font formatting
                Check transition orientations in flowcharts
                Check for nondefault block attributes
                Check signal line labels
                Check for propagated signal labels
                Check default transition placement in Stateflow charts
                Check return value assignments of graphical functions in Stateflow charts
                Check entry formatting in State blocks in Stateflow charts
                Check usage of return values from a graphical function in Stateflow charts
                Check for pointers in Stateflow charts
                Check for event broadcasts in Stateflow charts
                Check transition actions in Stateflow charts
                Check for MATLAB expressions in Stateflow charts
                Check for indexing in blocks
                Check file names
                Check folder names
                Check for prohibited blocks in discrete controllers
                Check for prohibited sink blocks
                Check positioning and configuration of ports
                Check for matching port and signal names
                Check whether block names appear below blocks
                Check for mixing basic blocks and subsystems
                Check for unconnected ports and signal lines
                Check position of Trigger and Enable blocks
                Check use of tunable parameters in blocks
                Check Stateflow data objects with local scope
                Check for Strong Data Typing with Simulink I/O
                Check usage of exclusive and default states in state machines
                Check Implement logic signals as Boolean data (vs. double)
                Check model diagnostic parameters
                Check the display attributes of block names
                Check display for port blocks
                Check subsystem names
                Check port block names
                Check character usage in signal labels
                Check character usage in block names
                Check Trigger and Enable block names
                Check for Simulink diagrams using nonstandard display attributes
                Check visibility of block port names
                Check orientation of Subsystem blocks
                Check configuration of Relational Operator blocks
                * Check use of Switch blocks
                * Check for signal bus and Mux block usage
                * Check for bitwise operations in Stateflow charts
                * Check for comparison operations in Stateflow charts
                * Check for unary minus operations on unsigned integers in Stateflow charts
                * Check for equality operations between floating-point expressions in Stateflow charts
                * Check for mismatches between names of Stateflow ports and associated signals
                * Check scope of From and Goto blocks
    Requirements Consistency
Simulink Control Design

*Running this check triggers an Update Diagram, which increases processing time

Select or deselect all