By Product
By Task
Select tasks from the following list:

Select or deselect all

       Simulation Performance and Accuracy
       Simulation Runtime Accuracy Diagnostics
            > Runtime diagnostics for Data Store blocks.
            > Runtime diagnostics for S-functions
       Model Referencing
       Upgrading to the Current Simulink Version
       Managing Library Links
            > Identify disabled library links
            > Identify parameterized library links
            > Identify unresolved library links
       Modeling Standards for DO-178B
            > * Display model version information
            > 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 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 for proper usage of blocks that compute absolute values
            > Check for proper usage of For Iterator blocks
            > * Check for proper usage of Relational Operator blocks
            > Check for proper usage of While Iterator blocks
            > Check for proper usage of Math blocks
            > Check for blocks that have constraints on tunable parameters
            > Check for Discrete-Time Integrator blocks with initial condition uncertainty
            > Check for model reference configuration mismatch
            > Check for parameter tunability information ignored for referenced models
            > * Check for potentially delayed function-call subsystem return values
            > Check model, local libraries, and referenced models for known upgrade issues
            > Check root model Inport block specifications
            > * Check sample times and tasking mode
            > Check solver for code generation
            > Check the hardware implementation
            > Identify disabled library links
            > Identify parameterized library links
            > Identify unresolved library links
            > * Check for proper bus usage
            > * Check for proper Merge block usage
            > Identify questionable blocks within the specified system
            > Identify questionable subsystem settings
            > Identify unconnected lines, input ports, and output ports
            > Identify requirement links that specify invalid locations within documents
            > Identify requirement links with missing documents
            > Identify requirement links with path type inconsistent with preferences
            > Identify selection-based links having description that do not match their requirements document text
            > Check whether tunable parameters specify expressions, data type conversions, or indexing operations
            > Check interface signals and parameters
            > Check whether Stateflow data objects with local scope are defined at the chart level or below
            > Check whether Stateflow events are defined at the chart level or below
            > Check for exclusive states, default states, and substate validity
            > Disable signal logging
       Modeling Standards for IEC 61508
            > * Display configuration management data
            > Display model metrics and complexity report
            > Check for unconnected objects
            > Check for fully defined interface
            > Check for questionable constructs
            > * Check usage of Simulink constructs
            > Check usage of Stateflow constructs
       Requirement consistency checking
       Naming Conventions
       Model Architecture
       Model Configuration Options
       Simulink
            > Check for Simulink diagrams that have nonstandard appearance attributes
            > Check for difference in font and font sizes
            > Check for invalid port positioning and configuration
            > Check visibility of block port names
            > Check Icon display parameter for port blocks
            > Check whether block names appear below blocks
            > Check the display attributes of block names
            > Check for improperly positioned Trigger and Enable blocks
            > Check for display of nondefault block attributes
            > Check whether annotations have drop shadows
            > Check for mismatches between names of ports and corresponding signals
            > Check Trigger and Enable Port block names
            > Check for proper labeling on signal lines.
            > Check for propagated labels on signal lines
            > Check whether model has unconnected block input ports, output ports, or signal lines
            > Check for blocks that are not discrete.
            > Check for prohibited sink blocks
            > * Check for proper scope of From and Goto blocks
            > * Check for proper use of Switch blocks
            > Check for proper position of constants used in Relational Operator blocks
            > Check for blocks that do not use one-based indexing
            > * Check for proper use of signal busses and Mux block usage
            > Check whether tunable parameters specify expressions, data type conversions, or indexing operations
            > Check for direction of subsystem blocks
       Stateflow
       Modeling Standards for MAAB

Select or deselect all