Simulink Checks - MATLAB & Simulink (original) (raw)

Simulink Check Overview

Use the Simulink® Model Advisor checks to configure your model for simulation.

See Also

• Run Model Advisor Checks
• Simulink Check Checks (Simulink Check)

By Product Overview

Use the By Product Model Advisor checks to configure your model The MathWorks® product applications.

See Also

• Run Model Advisor Checks

By Task Overview

Use the By Task Model Advisor checks to configure your model for specific tasks.

See Also

• Run Model Advisor Checks

Model Referencing Overview

Use the Model Referencing Model Advisor checks to configure your model for model referencing considerations.

See Also

• Run Model Advisor Checks
• Simulink Check Checks (Simulink Check)

Simulink Model File Integrity

Use the Simulink Model File Integrity Model Advisor checks to find problems with character encoding and nondefault model properties.

See Also

• Check Model History properties

Units Inconsistencies

Use the Units Inconsistencies Model Advisor checks to find inconsistencies with unit specifications.

See Also

• Identify unit mismatches in the model
• Identify automatic unit conversions in the model
• Identify disallowed unit systems in the model
• Identify undefined units in the model

Managing Library Links Overview

Use the Managing Library Links Model Advisor checks to find common problems with library links.

See Also

• Run Model Advisor Checks
• Simulink Check Checks (Simulink Check)

Migrating to Simplified Initialization Mode Overview

Simplified initialization mode was introduced in R2008b to improve the consistency of simulation results. This mode is especially important for models that do not specify initial conditions for conditionally executed subsystem output ports. For more information, see Simplified Initialization Mode andClassic Initialization Mode.

Use the Model Advisor checks in Migrating to Simplified Initialization Mode to help migrate your model to simplified initialization mode.

See Also

• Simplified Initialization Mode
• Classic Initialization Mode
• Underspecified initialization detection
• Check usage of Merge blocks
• Check usage of Outport blocks
• Check usage of Discrete-Time Integrator blocks
• Check model settings for migration to simplified initialization mode

Modeling Guidelines for MISRA C:2012 Overview

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with MISRA C:2012.

See Also

• MISRA C:2012 Compliance Considerations
• Run Model Advisor Checks

Modeling Guidelines for Secure Coding (CERT C, CWE, ISO/IEC TS 17961)

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with the CERT C, CWE, ISO/IEC TS 17961 secure coding standards.

See Also

• Secure Coding (Embedded Coder)
• Run Model Advisor Checks

Upgrading to the Current Simulink Version Overview

Use the Open the Upgrade Advisor check to access the Upgrade Advisor. Use the Upgrade Advisor for help with using the current release to upgrade and improve models. The Upgrade Advisor identifies cases where you can benefit by changing your model to use new features and settings in Simulink. The Advisor provides advice for transitioning to new technologies, and upgrading a model hierarchy.

The Upgrade Advisor also identifies cases when a model will not work because changes and improvements in Simulink require changes to a model.

The Upgrade Advisor offers options to perform recommended actions automatically or instructions for manual fixes.

Alternatively, you can open the Upgrade Advisor in the following ways:

1. From the Model Editor, in the Modeling tab, select > .
2. From the MATLAB® command line, use the upgradeadvisor function:

See Also

• Run Model Advisor Checks
• Model Upgrades

Modeling Signals and Parameters Using Buses Overview

Use the Modeling Signals and Parameters Using Buses checks to find common problems with signals and parameters when using buses.

See Also

• Run Model Advisor Checks

Code Generation Efficiency Overview

Use the Code Generation Efficiency checks to configure your model with consideration for code generation efficiency.

See Also

• Run Model Advisor Checks

Data Transfer Efficiency Overview

Use the Data Transfer Efficiency checks to configure your model with consideration for data transfer efficiency.

See Also

• Run Model Advisor Checks

Modeling Standards for DO-178C/DO-331 Overview

These Model Advisor checks facilitate designing and troubleshooting models from which code is generated for applications that must meet safety or mission-critical requirements.

The Model Advisor performs a checkout of the Simulink Check™ license when you run the checks.

See Also

• Radio Technical Commission for Aeronautics (RTCA) for information on the DO-178C Software Considerations in Airborne Systems and Equipment Certification and related standards

Requirements Traceability Overview

Model Advisor checks for requirements traceability.

See Also

• Run Model Advisor Checks
• Simulink Checks

Model Diagnostic Settings Overview

Model Advisor checks for model diagnostic settings.

See Also

• Run Model Advisor Checks
• Simulink Checks

Simulink Overview

Model Advisor checks for Simulink modeling elements.

See Also

• Run Model Advisor Checks
• Simulink Checks

Stateflow Overview

Model Advisor checks for Stateflow® modeling objects.

See Also

• Run Model Advisor Checks
• Simulink Checks

Library Links Overview

Model Advisor checks for library links.

See Also

• Run Model Advisor Checks
• Simulink Checks

Model Referencing Overview

Model Advisor checks for referenced models.

See Also

• Run Model Advisor Checks
• Simulink Checks

Bug Reports Overview

Checks to display bug reports.

See Also

• Run Model Advisor Checks
• Simulink Checks

Simulink Coder Overview

Model Advisor checks for Simulink Coder™.

See Also

• Model Advisor Checks (Simulink Coder)
• Run Model Advisor Checks

Modeling Standards for ISO 26262 Overview

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with ISO 26262–6.

The Model Advisor performs a checkout of the Simulink Check license when you run the modeling standards for ISO 26262 checks.

Tip

If your model uses model referencing, run the checks on all referenced models before running them on the top model.

See Also

• International Organization for Standardization for information on ISO 26262–6 Road vehicles — Functional safety — Part 6: Product development: Software level
• ISO 26262: 2018 (Embedded Coder)
• Modeling Guidelines for ISO 26262-6: 2018 (IEC Certification Kit)
• Run Model Advisor Checks

Modeling Standards for IEC 61508 Overview

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with IEC 61508-3.

The Model Advisor performs a checkout of the Simulink Check license when you run the modeling standards for IEC 61508 checks.

Tip

If your model uses model referencing, run the checks on all referenced models before running them on the top model.

See Also

• International Electrotechnical Commission for more information on IEC 61508–3 Functional safety of electrical/electronic/programmable electronic safety-related systems — Part 3: Software requirements
• IEC 61508: 2010 (Embedded Coder)
• Run Model Advisor Checks

Modeling Standards for IEC 62304 Overview

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with IEC 62304.

The Model Advisor performs a checkout of the Simulink Check license when you run the modeling standards for IEC 62304 checks.

Tip

If your model uses model referencing, run the checks on all referenced models before running them on the top model.

See Also

• MATLAB and Simulink for Medical Devices for more information on IEC 62304 Medical device software - Software life cycle processes
• IEC 62304: 2015 (Embedded Coder)
• Run Model Advisor Checks

Modeling Standards for EN 50128 Overview

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with the EN 50128 standard.

The Model Advisor performs a checkout of the Simulink Check license when you run the modeling standards for EN 50128 checks.

Tip

If your model uses model referencing, run the checks on all referenced models before running them on the top model.

See Also

• European Committee for Electrotechnical Standardization for more information on EN 50128 (Railway applications — Software for railway control and protection systems)
• EN 50128 / EN 50128: 2011 (Embedded Coder)
• Run Model Advisor Checks

Modeling Standards for ISO 25119 Overview

These Model Advisor checks facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with ISO 25119.

The Model Advisor performs a checkout of the Simulink Check license when you run the modeling standards for ISO 25119 checks.

Tip

If your model uses model referencing, run the checks on all referenced models before running them on the top model.

See Also

• ISO 25119 Standard (Embedded Coder)
• Run Model Advisor Checks

Requirements Consistency Checking Overview

Checks consistency of requirements.

The Model Advisor performs a checkout of the Simulink Check license when you run the requirements consistency checking checks.

See Also

• Run Model Advisor Checks
• Simulink Checks
• Model Advisor Checks (Simulink Coder)

S-function Checks Overview

Checks the S-functions in a model or a library to identify potential problems and improvements.

See Also

• Run Quality Checks on S-Functions Using S-Function Analyzer
• Troubleshoot S-Function Checks

Modeling Single-Precision Systems Overview

Checks for blocks that introduce double-precision operations.

See Also

• Run Model Advisor Checks
• Simulink Checks
• Model Advisor Checks (Simulink Coder)

Identify unconnected lines, input ports, and output ports

Check ID:mathworks.design.UnconnectedLinesPorts

Check for unconnected lines or ports.

Description

This check lists unconnected lines or ports. These can have difficulty propagating signal attributes such as data type, sample time, and dimensions.

Note

Ports connected to ground/terminator blocks will pass this test.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

Tips

Use the PortConnectivity command to obtain an array of structures describing block input or output ports.

See Also

Common Block Properties for information on the PortConnectivity command.

Model Advisor Exclusion Overview (Simulink Check)

Check root model Inport block specifications

Check ID:mathworks.design.RootInportSpec

Check that root model Inport blocks fully define dimensions, sample time, and data type.

Description

Using root model Inport blocks that do not fully define dimensions, sample time, or data type can lead to undesired simulation results. Simulink software back-propagates dimensions, sample times and data types from downstream blocks unless you explicitly assign them values.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

Tips

The following configurations pass this check:

• Configuration Parameters > Solver > Periodic sample time constraint is set to Ensure sample time independent
• For export-function models, inherited sample time is not flagged.

See Also

• About Data Types in Simulink.
• Determine Signal Dimensions.
• Model Advisor Exclusion Overview (Simulink Check)
• Specify Sample Time
• Periodic sample time constraint

Check optimization settings

Check ID:mathworks.design.OptimizationSettings

Check for optimizations that can lead to non-optimal code generation and simulation.

Description

This check reviews the status of optimizations that can improve code efficiency and simulation time.

Results and Recommended Actions

Tips

If the system contains Model blocks and the referenced model is in Accelerator mode, simulating the model requires generating and compiling code.

check

See Also

• Model Configuration Parameters: Code Generation Optimization (Simulink Coder)

Check diagnostic settings ignored during accelerated model reference simulation

Check ID:mathworks.design.ModelRefSIMConfigCompliance

Checks for referenced models for which Simulink changes configuration parameter settings during accelerated simulation.

Description

For models referenced in accelerator mode, Simulink ignores the settings of the following configuration parameters that you set to a value other than None.

• Array bounds exceeded
• > >
• > >
• > >

Also, for models referenced in accelerator mode, Simulink ignores the following > > > parameters if you set them to a value other thanDisable all. For details, see Data Store Diagnostics.

• Detect read before write
• Detect write after read
• Detect write after write

Results and Recommended Actions

Check for parameter tunability information ignored for referenced models

Check ID:mathworks.design.ParamTunabilityIgnored

Checks if parameter tunability information is included in the Model Parameter Configuration dialog box.

Description

Simulink software ignores tunability information specified in the Model Parameter Configuration dialog box. This check identifies those models containing parameter tunability information that Simulink software will ignore if the model is referenced by other models.

Results and Recommended Actions

See Also

• Create Tunable Calibration Parameter in the Generated Code (Simulink Coder)

Check for implicit signal resolution

Check ID:mathworks.design.ImplicitSignalResolution

Identify models that attempt to resolve named signals and states toSimulink.Signal objects.

Description

Requiring Simulink software to resolve all named signals and states is inefficient and slows incremental code generation and model reference. This check identifies those signals and states for which you may turn off implicit signal resolution and enforce resolution.

Results and Recommended Actions

See Also

Resolve Signal Objects for Output Variables.

Check for optimal bus virtuality

Check ID:mathworks.design.OptBusVirtuality

Identify virtual buses that could be made nonvirtual. Making these buses nonvirtual improves generated code efficiency.

Description

This check identifies blocks incorporating virtual buses that cross a model reference boundary. Changing these to nonvirtual improves generated code efficiency.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

• Signal Basics
• Composite Interface Guidelines
• Model Advisor Exclusion Overview (Simulink Check)

Check for Discrete-Time Integrator blocks with initial condition uncertainty

Check ID:mathworks.design.DiscreteTimeIntegratorInitCondition

Identify Discrete-Time Integrator blocks with state ports and initial condition ports that are fed by neither an Initial Condition nor a Constant block.

Description

Discrete-Time Integrator blocks with state port and initial condition ports might not be suitably initialized unless they are fed from an Initial Condition or Constant block. This is more likely to happen when Discrete-Time Integrator blocks are used to model second-order or higher-order dynamic systems.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

• IC block
• Discrete-Time Integrator block
• Constant block
• Model Advisor Exclusion Overview (Simulink Check)

Identify disabled library links

Check ID:mathworks.design.DisabledLibLinks

Search model for disabled library links.

Description

Disabled library links can cause unexpected simulation results. Resolve disabled links before saving a model.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

Tips

• Use the Model Browser to find library links.
• To enable a broken link, right-click a block in your model to display the context menu. Select > .

See Also

Restore Disabled Links

Model Advisor Exclusion Overview (Simulink Check)

Check for large number of function arguments from virtual bus across model reference boundary

Check ID:mathworks.design.CheckVirtualBusAcrossModelReferenceArgs

Checks virtual buses that cross model reference boundaries and flags cases where using virtual buses across a model reference boundary increases the number of function arguments significantly.

Description

To improve the speed of the code generation process, you can use this check to reduce the number of generated function arguments. If the check finds a model that where many arguments will be generated for a function, you can clickUpdate Model to modify the model so that it generates fewer arguments.

Results and Recommended Action

Methods that generate many function arguments as the result of a virtual bus crossing model reference boundary slow down the code generation process.

Clicking Update Model resets Inport andOutport block parameters and inserts Signal Conversion blocks, as necessary, to reduce the number of generated function arguments for the model.

See Also

Use Buses at Model Interfaces

Identify parameterized library links

Check ID:mathworks.design.ParameterizedLibLinks

Search model for parameterized library links.

Description

Parameterized library links that are unintentional can result in unexpected parameter settings in your model. This can result in improper model operation.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

Tips

• Right-click a block in your model to display the context menu. ChooseLink Options and click Go To Library Block to see the original block from the library.
• To parameterize a library link, choose Look Under Mask, from the context menu and select the parameter.

See Also

Restore Disabled Links

Model Advisor Exclusion Overview (Simulink Check)

Identify unresolved library links

Check ID:mathworks.design.UnresolvedLibLinks

Search the model for unresolved library links, where the specified library block cannot be found.

Description

Check for unresolved library links. Models do not simulate while there are unresolved library links.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

Fix Unresolved Library Links

Model Advisor Exclusion Overview (Simulink Check)

Identify configurable subsystem blocks for converting to variant subsystem blocks

Check ID:mathworks.design.CSStoVSSConvert

Search the model to identify configurable subsystem blocks at the model or subsystem level.

Results and Recommended Actions

Capabilities and Limitations

You can run this check on your library models.

See Also

Simulink.VariantUtils.convertToVariantSubsystem

Identify Variant Model blocks and convert those to Variant Subsystem containing Model block choices

Check ID:mathworks.design.ConvertMdlrefVarToVSS

Search the model to identify Variant Model blocks.

Results and Recommended Actions

See Also

Simulink.VariantUtils.convertToVariantSubsystem

Identify Variant blocks using Variant objects with empty conditions

Check ID:mathworks.design.emptyVariantObjects

Search the model to identify the Variant blocks or library having empty Variant objects.

Results and Recommended Actions

See Also

Introduction to Variant Controls

Check usage of function-call connections

Check ID:mathworks.design.CheckForProperFcnCallUsage

Check model diagnostic settings that apply to function-call connectivity and that might impact model execution.

Description

Check for connectivity diagnostic settings that might lead to non-deterministic model execution.

Results and Recommended Actions

See Also

Function-Call Subsystem

Managing Data Store Memory Blocks

Use these checks for the Data Store Memory Blocks to configure your model for acceptable usage of Data Store Memory blocks.

See Also

• Run Model Advisor Checks
• Model Advisor Checks (Simulink Coder)
• Simulink Check Checks (Simulink Check)

Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues

Check ID:mathworks.design.DataStoreMemoryBlkIssue

Look for modeling issues related to Data Store Memory blocks.

Description

Checks for multitasking data integrity, strong typing, and shadowing of data stores of higher scope.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

• Local and Global Data Stores
• Storage Classes for Data Store Memory Blocks (Simulink Coder)
• Data Store Memory
• Data Store Read
• Data Store Write
• Duplicate data store names
• Multitask data store
• Model Advisor Exclusion Overview (Simulink Check)

Check if read/write diagnostics are enabled for data store blocks

Check ID:mathworks.design.DiagnosticDataStoreBlk

For data store blocks in the model, enable the read-and-write diagnostics order checking to detect run-time issues.

Description

Check for the read-and-write diagnostics order checking. By enabling the read-and-write diagnostics, you detect potential run-time issues.

Results and Recommended Actions

Capabilities and Limitations

Exclude blocks and charts from this check if you have a Simulink Check license.

Tips

.

• The run-time diagnostics can slow simulations down considerably. Once you have verified that Simulink does not generate warnings or errors during simulation, set them to Disable all.

See Also

• Local and Global Data Stores
• Data Store Memory
• Data Store Read
• Data Store Write
• Detect read before write
• Detect write after read
• Detect write after write
• Check for potential ordering issues involving data store access
• Model Advisor Exclusion Overview (Simulink Check)

Check data store block sample times for modeling errors

Check ID:mathworks.design.DataStoreBlkSampleTime

Identify modeling errors due to the sample times of data store blocks.

Description

Check data store blocks for continuous or fixed-in-minor-step sample times.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

• Local and Global Data Stores
• Data Store Memory
• Data Store Read
• Data Store Write
• Fixed-in-Minor-Step Sample Time
• Model Advisor Exclusion Overview (Simulink Check)

Check for potential ordering issues involving data store access

Check ID:mathworks.design.OrderingDataStoreAccess

Look for read/write issues which may cause inaccuracies in the results.

Description

During an , identify potential issues relating to read-before-write, write-after-read, and write-after-write conditions for data store blocks.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

Tips

This check performs a static analysis which might not identify every instance of improper usage. Specifically, Function-Call Subsystems, Stateflow Charts, MATLAB for code generation, For Iterator Subsystems, and For Each Subsystems can cause both missed detections and false positives. For a more comprehensive check, consider enabling the following diagnostics on theDiagnostics > Data Validity pane in the Configuration Parameters dialog box: Detect read before write,Detect write after read, andDetect write after write.

See Also

• Local and Global Data Stores
• Data Store Memory
• Data Store Read
• Data Store Write
• Detect read before write
• Detect write after read
• Detect write after write
• Model Advisor Exclusion Overview (Simulink Check)

Check structure parameter usage with bus signals

Check ID:mathworks.design.MismatchedBusParams

Identify blocks and Simulink.Signal objects that initialize buses by using mismatched structures.

Description

In a model, you can use a MATLAB structure to initialize a bus. For example, if you pass a bus through a Unit Delay block, you can set the Initial condition parameter to a structure. For basic information about initializing buses by using structures, see Specify Initial Conditions for Bus Elements.

Run this check to generate efficient and readable code by matching the shape and numeric data types of initial condition structures with those of buses. Matching these characteristics avoids unnecessary explicit typecasts and replaces field-by-field structure assignments with, for example, calls tomemcpy.

Partial Structures

This check lists blocks and Simulink.Signal objects that initialize buses by using partial structures. During the iterative process of creating a model, you can use partial structures to focus on a subset of signal elements in a bus. For a mature model, use full structures to:

• Generate readable and efficient code.
• Support a modeling style that explicitly initializes unspecified signals. When you use partial structures, Simulink implicitly initializes unspecified signals.

For more information about full and partial structures, see Specify Initial Conditions for Bus Elements.

Data Type Mismatches

This check lists blocks and Simulink.Signal objects whose initial condition structures introduce data type mismatches. The fields of these structures have numeric data types that do not match the data types of the corresponding bus elements.

This check does not detect a mismatch for blocks, such as the Unit Delay block, that implicitly convert the data type of initial condition to the input signal.

When you configure an initial condition structure to appear as a tunable global structure in the generated code, avoid unnecessary explicit typecasts by matching the data types. See Generate Tunable Initial Condition Structure for Bus (Simulink Coder).

Results and Recommended Actions

See Also

• Specify Initial Conditions for Bus Elements
• Generate Tunable Initial Condition Structure for Bus (Simulink Coder)
• Data Stores with Signal Objects
• Simulink.Bus.createMATLABStruct
• Simulink.Signal

Check Delay, Unit Delay and Zero-Order Hold blocks for rate transition

Check ID:mathworks.design.ReplaceZOHDelayByRTB

Identify Delay, Unit Delay, or Zero-Order Hold blocks that are used for rate transition. Replace these blocks with actual Rate Transition blocks.

Description

If a model uses Delay, Unit Delay, orZero-Order Hold blocks to provide rate transition between input and output signals, Simulink makes a hidden replacement of these blocks with built-inRate Transition blocks. In the compiled block diagram, a yellow symbol and the letters “RT” appear in the upper-left corner of a replacement block. This replacement can affect the behavior of the model, as follows:

• These blocks lose their algorithmic design properties to delay a signal or implement zero-order hold. Instead, they acquire rate transition behavior.
• This modeling technique works only in specific transition configurations (slow-to-fast for Delay and Unit Delay blocks, and fast-to-slow for Zero-Order Hold block). Set the block sample time to be equal to the slower rate (source for the Delay and Unit Delay blocks and destination for the Zero-Order Hold block).
• When the block sample time of a downstream or upstream block changes, these Delay, Unit Delay andZero-Order Hold blocks might not perform rate transition. For example, setting the source and destination sample times equal stops rate transition. The blocks then assume their original algorithmic design properties.
• The block sample time shows incomplete information about sample time rates. The block code runs at two different rates to handle data transfer. However, the block sample time and sample time color show it as a single-rate block. Tools and MATLAB scripts that use sample time information base their behavior on this information.

An alternative is to replace Delay, Unit Delay, or Zero-Order Hold blocks with actual Rate Transition blocks.

• The technique ensures unambiguous results in block behavior.Delay, Unit Delay, orZero-Order Hold blocks act according to their algorithmic design to delay and hold signals respectively. OnlyRate Transition blocks perform actual rate transition.
• Using an actual Rate Transition block for rate transition offers a configurable solution to handle data transfer if you want to specify deterministic behavior or the type of memory buffers to implement.

Use this check to identify instances in your model where Delay,Unit Delay or Zero-Order Hold blocks undergo hidden replacement to provide rate transition between signals. ClickUpgrade Model to replace these blocks with actualRate Transition blocks.

Results and Recommended Actions

If you do not choose to replace the Delay, Unit Delay, and/or Zero-Order Hold blocks with actualRate Transition blocks, Simulink continues to perform a hidden replacement of these blocks with built-in rate transition blocks.

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

• Run Model Advisor Checks
• Model Upgrades
• Rate Transition
• Model Advisor Exclusion Overview (Simulink Check)

Check bus signals treated as vectors

Check ID:mathworks.design.BusTreatedAsVector

Identify buses that Simulink treats as vectors.

Description

You cannot use buses that the Simulink software implicitly converts to vectors. Instead, either insert aBus to Vector conversion block between the bus and the block input port that it feeds, or use theSimulink.BlockDiagram.addBusToVector function.

Results and Recommended Actions

Action Results

Clicking Modify inserts a Bus to Vector block at the input ports of blocks that implicitly convert buses to vectors.

Tips

• Run this check before running Check consistency of initialization parameters for Outport and Merge blocks.
• For more information, see Identify Automatic Bus Conversions.

See Also

• Identify Automatic Bus Conversions
• Bus to Vector block
• Bus signal treated as vector
• Migrating to Simplified Initialization Mode Overview
• Simulink.BlockDiagram.addBusToVector

Check for potentially delayed function-call subsystem return values

Check ID:mathworks.design.DelayedFcnCallSubsys

Identify function-call return values that might be delayed because Simulink software inserted an implicit Signal Conversion block.

Description

So that signals reside in contiguous memory, Simulink software can automatically insert an implicit Signal Conversion block in front of function-call initiator block input ports. This can result in a one-step delay in returning signal values from calling function-call subsystems. The delay can be avoided by ensuring the signal originates from a signal block within the function-call system. Or, if the delay is acceptable, insert a Unit Delay block in front of the affected input ports.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

Signal Conversion block

Unit Delay block

Model Advisor Exclusion Overview (Simulink Check)

Identify block output signals with continuous sample time and non-floating point data type

Check ID:mathworks.design.OutputSignalSampleTime

Find continuous sample time, non-floating-point output signals.

Description

Non-floating-point signals might not represent continuous variables without loss of information.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

What Is Sample Time?.

Model Advisor Exclusion Overview (Simulink Check)

Check usage of Merge blocks

Check ID:mathworks.design.MergeBlkUsage

Identify Merge blocks with parameter settings that can lead to unexpected behavior, and help migrate your model to simplified initialization mode.

Description

Simplified initialization mode was introduced in R2008b to improve the consistency of simulation results. For more information, see Simplified Initialization Mode and Classic Initialization Mode.

This Model Advisor check identifies settings in the Merge blocks in your model that can cause problems if you use classic initialization mode. It also recommends settings for consistent behavior of Merge blocks. The results of the subchecks contain two types of statements: Failed and Warning. Failed statements identify issues that you must address manually before you can migrate the model to the simplified initialization mode. Warning statements identify issues or changes in behavior that can occur after migration.

Results and Recommended Actions

See Also

• Migrating to Simplified Initialization Mode Overview
• Model Advisor Exclusion Overview (Simulink Check)

Check usage of Outport blocks

Check ID:mathworks.design.InitParamOutportMergeBlk

Identify Outport blocks and conditional subsystems with parameter settings that can lead to unexpected behavior, and help migrate your model to simplified initialization mode.

Description

Simplified initialization mode was introduced in R2008b to improve the consistency of simulation results. This mode is especially important for models that do not specify initial conditions for conditionally executed subsystem output ports. For more information, see Simplified Initialization Mode and Classic Initialization Mode.

This Model Advisor check identifies Outport blocks and conditional subsystems in your model that can cause problems if you use the simplified initialization mode. It also recommends settings for consistent behavior of Outport blocks. The results of the subchecks contain two types of statements: Failed and Warning. Failed statements identify issues that you must address manually before you can migrate the model to the simplified initialization mode. Warning statements identify issues or changes in behavior can occur after migration.

Results and Recommended Actions

See Also

• Migrating to Simplified Initialization Mode Overview
• Model Advisor Exclusion Overview (Simulink Check)

Check usage of Discrete-Time Integrator blocks

Check ID:mathworks.design.DiscreteBlock

Identify Discrete-Time Integrator blocks with parameter settings that can lead to unexpected behavior, and help migrate your model to simplified initialization mode.

Description

Simplified initialization mode was introduced in R2008b to improve the consistency of simulation results. For more information, see Simplified Initialization Mode and Classic Initialization Mode.

This Model Advisor check identifies settings in Discrete-Time Integrator blocks in your model that can cause problems if you use the simplified initialization mode. It also recommends settings for consistent behavior of Discrete-Time Integrator blocks. The results of the subchecks contain two types of statements: Failed and Warning. Failed statements identify issues that you must address manually before you can migrate the model to the simplified initialization mode. Warning statements identify issues or changes in behavior that can occur after migration.

Results and Recommended Actions

See Also

• Migrating to Simplified Initialization Mode Overview
• Model Advisor Exclusion Overview (Simulink Check)

Check model settings for migration to simplified initialization mode

Check ID:mathworks.design.ModelLevelMessages

Identify settings in Model blocks and model configuration parameters that can lead to unexpected behavior, and help migrate your model to simplified initialization mode.

Description

Simplified initialization mode was introduced in R2008b to improve consistency of simulation results. For more information, see Simplified Initialization Mode and Classic Initialization Mode.

This Model Advisor check identifies issues in the model configuration parameters and Model blocks in your model that can cause problems when you migrate to simplified initialization mode. The results of the subchecks contain two types of statements: Failed and Warning. Failed statements identify issues that you must address manually before you can migrate the model to simplified initialization mode. Warning statements identify issues or changes in behavior that can occur after migration.

After running this Model Advisor consistency check, if you clickExplore Result button, the messages pertain only to blocks that are not library-links.

Note

Because it is difficult to undo these changes, select > to back up your model before migrating to the simplified initialization mode.

For more information, see Model Configuration Parameters: Connectivity Diagnostics.

Results and Recommended Actions

Action Results

Clicking Modify Settings causes the following:

• The Model parameter is set tosimplified
• If an Outport block has the Initial output parameter set to the empty character vector, [], then the SourceOfInitialOutputValue parameter is set to .
• If an Outport has an empty Initial output and a variable-size signal, then the Initial output is set to zero.

See Also

• Migrating to Simplified Initialization Mode Overview
• Model Advisor Exclusion Overview (Simulink Check)

Simulation Accuracy Overview

Use the Simulation Accuracy Model Advisor checks to configure your model for accuracy considerations.

See Also

• Run Model Advisor Checks
• Model Advisor Checks (Simulink Coder)
• Simulink Check Checks (Simulink Check)

Check S-functions in the model

Check ID:mathworks.design.SFuncAnalyzer

Perform quality checks on S-functions in Simulink models or subsystems.

Description

The S-function analyzer performs quality checks on S-functions to identify improvements and potential problems in the specified model. The checks displays an error when the build dependency cannot be automatically derived, for example, when the source code is not in the current folder.

Results and Recommended Actions

Check for non-continuous signals driving derivative ports

Check ID:mathworks.design.NonContSigDerivPort

Identify noncontinuous signals that drive derivative ports.

Description

Noncontinuous signals that drive derivative ports cause the solver to reset every time the signal changes value, which slows down simulation.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

• Simulink Models
• Simulation Phases in Dynamic Systems
• Model Advisor Exclusion Overview (Simulink Check)

Simulation Runtime Accuracy Diagnostics Overview

Use the Simulation Runtime Accuracy Diagnostics Model Advisor checks to configure your model for simulation accuracy diagnostics that can help find problems, but slows simulations.

See Also

• Run Model Advisor Checks
• Model Advisor Checks (Simulink Coder)
• Simulink Check Checks (Simulink Check)

Runtime diagnostics for S-functions

Check ID:mathworks.design.DiagnosticSFcn

Check array bounds and solver consistency if S-Function blocks are in the model.

Description

Validates whether S-Function blocks adhere to the ODE solver consistency rules that Simulink applies to its built-in blocks.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

• What Is an S-Function?
• How S-Functions Work
• Model Advisor Exclusion Overview (Simulink Check)

Identify unit mismatches in the model

Check ID:mathworks.design.UnitMismatches

Identify instances of unit mismatches between ports in the model and between model argument values and definitions.

Description

Check for instances of unit mismatches between:

• Ports in the model
• Model argument values and definitions

To detect and report warnings for mismatched units on model arguments, you must set the simulation mode of Model blocks to normal mode.

Results and Recommended Actions

See Also

• Unit Specification in Simulink Models.

Identify automatic unit conversions in the model

Check ID:mathworks.design.AutoUnitConversions

Identify instances of automatic unit conversions in the model.

Description

Identify instances of automatic unit conversions in the model.

Results and Recommended Actions

See Also

• Unit Specification in Simulink Models.

Identify disallowed unit systems in the model

Check ID:mathworks.design.DisallowedUnitSystems

Identify instances of disallowed unit systems in the model.

Description

Identify instances of disallowed unit systems in the model.

Results and Recommended Actions

See Also

• Unit Specification in Simulink Models.

Identify undefined units in the model

Check ID:mathworks.design.UndefinedUnits

Identify instances of unit specifications, not defined in the unit database, in the model.

Description

Identify instances of unit specifications, not defined in the unit database, in the model.

Results and Recommended Actions

See Also

• Unit Specification in Simulink Models.
• Allowed Units

Identify ambiguous units in the model

Check ID:mathworks.design.AmbiguousUnits

Identify instances of ambiguous unit specifications, such as duplicate unit names in the unit database, in the model.

Description

Identify instances of ambiguous unit specifications, such as duplicate unit names in the unit database, in the model.

Results and Recommended Actions

See Also

• Unit Specification in Simulink Models.
• Allowed Units

Open the Upgrade Advisor

Check ID:com.mathworks.Simulink.UpgradeAdvisor.MAEntryPoint

This check provides access to the Upgrade Advisor.

Description

Run this check to access the Upgrade Advisor. Use the Upgrade Advisor for help with using the current release to upgrade and improve models. The Upgrade Advisor identifies cases where you can benefit by changing your model to use new features and settings in Simulink. The Advisor provides advice for transitioning to new technologies, and upgrading a model hierarchy.

The Upgrade Advisor also identifies cases when a model will not work because changes and improvements in Simulink require changes to a model.

The Upgrade Advisor offers options to perform recommended actions automatically or instructions for manual fixes.

Results and Recommended Actions

Tips

Alternatively, you can open the Upgrade Advisor in the following ways:

1. From the Model Editor, in the Modeling tab, select > .
2. From the MATLAB command line, use the upgradeadvisor function:
   SeeProgrammatically Open Upgrade Advisor and Programmatically Analyze and Upgrade Model.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades

Check model for block upgrade issues

Check ID:mathworks.design.Update

Check for common block upgrade issues.

Description

Check blocks in the model for compatibility issues resulting from using a new version of Simulink software.

Results and Recommended Actions

Action Results

Clicking Modify replaces blocks from a previous release of Simulink software with the latest versions.

See Also

• Write Level-2 MATLAB S-Functions.
• Upgrade Models Using Upgrade Advisor.
• Model Upgrades

Check model for block upgrade issues requiring compile time information

Check ID:mathworks.design.UpdateRequireCompile

Check for common block upgrade issues.

Description

Check blocks for compatibility issues resulting from upgrading to a new version of Simulink software. Some block upgrades require the collection of information or data when the model is in the compile mode. For this check, the model is set to compiled mode and then checked for upgrades.

Results and Recommended Actions

Check Data Store Memory blocks for multitasking

Action Results

Clicking Modify replaces blocks from a previous release of Simulink software with the latest versions.

See Also

• n-D Lookup Table
• Unit Delay
• Upgrade Models Using Upgrade Advisor
• Model Upgrades

Check if SLX file compression is off

Check ID:mathworks.design.CheckSLXFileCompressionLevel

Check if SLX file compression is turned off to reduce Git™ repository size.

Description

Check whether compression for the SLX model is turned off.

Results and Recommended Actions

Capabilities and Limitations

You can run this check on models, libraries, and subsystems checked in to Git source control.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades

Check that the model or library is saved in current version

Check ID:mathworks.design.CheckSavedInCurrentVersion

Check that the model, library, or subsystem is saved in the current version of Simulink.

Description

Check whether the model file is saved in the current Simulink release.

Results and Recommended Actions

Capabilities and Limitations

You can run this check on your models, libraries, and subsystems.

Tips

Projects can help you save all the models and libraries in your project to the current Simulink release. See Check for Compatibility Issues and Upgrade Simulink Models Using Project Upgrade.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades
• Check for Compatibility Issues and Upgrade Simulink Models Using Project Upgrade

Check model for SB2SL blocks

Check ID:mathworks.simulink.SB2SL.Check

Check that the model does not have outdated SB2SL blocks.

Description

Check if the model contains outdated SB2SL blocks.

Results and Recommended Actions

Action Results

Clicking Update SB2SL Blocks replaces blocks with the latest versions.

See Also

• Upgrade Models Using Upgrade Advisor.

Check for import custom code

Check ID:mathworks.stateflow.ImportCustomCode.check

Description

Check if the model imports custom code.

Results and Recommended Actions

Action Results

Selecting the Import custom code option enables the Simulink model to import custom code.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades
• Import custom code

Check Model History properties

Check ID:mathworks.design.SLXModelProperties

Check for edited model history properties

Description

Check models for edited Model History property values that could be used with source control tool keyword substitution. This keyword substitution is incompatible with SLX file format.

In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is not updated again. The Model Properties History pane and Model Info blocks in your model show stale information from then on.

Results and Recommended Actions

Capabilities and Limitations

You can run this check on your library models.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades

Identify Model Info blocks that can interact with external source control tools

Check ID:mathworks.design.ModelInfoKeywordSubstitution

Use this check to find Model Info blocks that can be altered by external source control tools through keyword substitution.

Description

This check searches for character vectors in the Model Info block enclosed within dollar signs that can be overwritten by an external source control tool. Using third-party source control tool keyword expansion might corrupt your model files when you submit them. Keyword substitution is not available in SLX model file format.

For a more flexible interface to source control tools, use a Simulink project instead of the Model Info block. See Use Source Control with MATLAB Projects.

Results and Recommended Actions

See Also

• Upgrade Models Using Upgrade Advisor.
• Use Source Control with MATLAB Projects

Check model for upgradable SerDes Toolbox blocks

Check ID:mathworks.design.serdesUpgrades

Lists blocks saved in a previous version of SerDes Toolbox™ that are outdated.

Description

This check searches for and lists SerDes Toolbox blocks that can be upgraded for compatibility with the current release.

Results and Recommended Actions

Action Results

Clicking Upgrade SerDes Toolbox Blocks upgrades the outdated SerDes Toolbox blocks to be compatible with the current release.

See Also

• Design and Simulate SerDes Systems (SerDes Toolbox)

Check model for legacy 3DoF or 6DoF blocks

Check ID:mathworks.design.Aeroblks.CheckDOF

Lists 3DoF and 6DoF blocks are outdated.

Description

This check searches for 3DoF and 6DoF blocks from library versions prior to 3.13 (R2014a).

Results and Recommended Actions

Action Results

Clicking Replace 3DoF and 6DoF Blocks replaces blocks with the latest versions.

See Also

• Equations of Motion (Aerospace Blockset)

Check model for Aerospace Blockset navigation blocks

Check ID:mathworks.design.Aeroblks.CheckNAV

Searches for Three-Axis Inertial Measurement Unit, Three-Axis Gyroscope, and Three-Axis Accelerometer blocks prior to 3.21 (R2018a).

Description

This check searches for Three-Axis Inertial Measurement Unit, Three-Axis Gyroscope, and Three-Axis Accelerometer blocks that have been updated in R2018a.

Results and Recommended Actions

See Also

• Three-axis Accelerometer (Aerospace Blockset)
• Three-axis Gyroscope (Aerospace Blockset)
• Three-axis Inertial Measurement Unit (Aerospace Blockset)

Check and update masked blocks in library to use promoted parameters

Check ID:mathworks.design.CheckAndUpdateOldMaskedBuiltinBlocks

Check for libraries that should be updated to use promoted parameters.

Description

This check searches libraries created before R2011b for masked blocks that should be updated to use promoted parameters. Since R2011b, if a block parameter is not promoted, its value in the linked block is locked to its value in the library block. This check excludes blocks of type Subsystem, Model reference, S-Function and M-S-Function.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades
• Model Advisor Exclusion Overview (Simulink Check)

Check and update mask image display commands with unnecessary imread() function calls

Check ID:mathworks.design.CheckMaskDisplayImageFormat

Check identifies masks using image display commands with unnecessary calls to theimread() function.

Description

This check searches for the mask display commands that make unnecessary calls to the imread() function, and updates them with mask display commands that do not call the imread() function. Since 2013a, a performance and memory optimization is available for mask images specified using the image path instead of the RGB triple matrix.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades
• Model Advisor Exclusion Overview (Simulink Check)

Check and update mask to affirm icon drawing commands dependency on mask workspace

Check ID:mathworks.design.CheckMaskRunInitFlag

Check identifies if the mask icon drawing commands have dependency on the mask workspace.

Description

This check identifies if the mask icon drawing commands have dependency on the mask workspace and updates the RunInitForIconRedraw property accordingly. If there is no mask workspace dependency, the value ofRunInitForIconRedraw is set to off, whereas, if there is mask workspace dependency the values is set toon.

Setting the values of RunInitForIconRedraw tooff when there is no mask workspace dependency optimizes the performance by not executing the mask initialization code before drawing the block icon.

Results and Recommended Actions

Capabilities and Limitations

You can:

• Run this check on your library models.
• Exclude blocks and charts from this check if you have aSimulink Check license.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades
• Model Advisor Exclusion Overview (Simulink Check)

Identify masked blocks that specify tabs in mask dialog box using MaskTabNames parameter

Check ID:mathworks.design.CheckAndUpdateOldMaskTabnames

This check identifies masked blocks that specify tabs in mask dialog box using theMaskTabNames parameter.

Description

This check identifies masked blocks that use theMaskTabNames parameter to programmatically create tabs in the mask dialog box. Since R2013b, dialog box controls are used to group parameters in a tab on the mask dialog box.

Results and Recommended Actions

Capabilities and Limitations

You can run this check on your library models.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades

Identify questionable operations for strict single-precision design

Check ID:mathworks.design.StowawayDoubles

For a strict single-precision design, this check identifies the blocks that introduce double-precision operations, and non-optimal model settings.

Description

For a strict single-precision design, this check identifies the blocks that introduce double-precision operations, and non-optimal model settings.

Results and Recommended Actions

Capabilities and Limitations

If you have a Simulink Check license, you can exclude blocks and charts from this check.

See Also

• Validate a Floating-Point Embedded Model
• Upgrade Models Using Upgrade Advisor.
• Model Upgrades
• Model Advisor Exclusion Overview (Simulink Check)

Check get_param calls for block CompiledSampleTime

Check ID:mathworks.design.CallsGetParamCompiledSampleTime

Use this check to identify MATLAB files in your working environment that containget_param function calls to return the blockCompiledSampleTime parameter.

Description

For multi-rate blocks (including subsystems), Simulink returns the block compiled sample time as a cell array of the sample rates in the block. The return value is a cell array of pairs of doubles. MATLAB code that accepts this return value only as pairs of doubles can return an error when called with a multi-rate block. Use this check to identify such code in your environment. Modify these instances of code to accept a cell array of pairs of doubles instead.

For example, consider a variable blkTs, which has been assigned the compiled sample time of a multi-rate block.

blkTs = get_param(block,'CompiledSampleTime');

Here are some examples in which the original code works only ifblkTs is a pair of doubles and the block is a single-rate block:

• Example 1
  if isinf(blkTs(1))
  disp('found constant sample time')
  end
  Since blkTs is now a cell array, Simulink gives this error message:
  Undefined function 'isinf' for input arguments of type 'cell'
  Instead, use this code, for which blkTs can be a cell array or a pair of doubles.
  if isequal(blkTs, [inf,0])
  disp('found constant sample time')
  end
• Example 2
  if all(blkTs == [-1,-1])
  disp('found triggered sample time')
  end
  For the above example, since blkTs is now a cell array, Simulink gives this error:
  Undefined function 'eq' for input arguments of type 'cell'
  Instead, use this code, for which blkTs can be a cell array or a pair of doubles.
  if isequal(blkTs, [-1,-1])
  disp('found triggered sample time')
  end
• Example 3
  if (blkTs(1) == -1)
  disp('found a triggered context')
  end
  Again, since blkTs is now a cell array, Simulink gives this error:
  Undefined function 'eq' for input arguments of type 'cell'
  Instead, use this code.
  if ~iscell(blkTs)
  blkTs = {blkTs};
  end
  for idx = 1:length(blkTs)
  thisTs = blkTs{idx};
  if (thisTs(1) == -1)
  disp('found a triggered context')
  end
  end
  The above code checks for a triggered type sample time (triggered or asynchronous). In cases in which a block has constant sample time ([inf,0]) in addition to triggered or asynchronous or when a block has multiple asynchronous rates, this alternative property detects the triggered type sample time.

This check scans MATLAB files in your environment. If the check finds instances of MATLAB code that contain get_param calls to output the block compiled sample time, Upgrade Advisor displays these results. It suggests that you modify code that accepts the block compiled sample time from multi-rate blocks.

Results and Recommended Actions

See Also

• Sample Times in Subsystems
• Block Compiled Sample Time

Check if all simulation outputs are returned as a single Simulink.SimulationOutput object

Check ID:mathworks.design.CheckSingleSimulationOutput

Use this check to identify if the simulation result is returned as a singleSimulink.SimulationOutput object.

Description

This check scans your model to verify if the parameterReturnWorkspaceOutputs is enabled. Enabling this parameter, returns simulation outputs in aSimulink.SimulationOutput when simulating interactively. Simulation outputs include signal, state, output, DSM logging, and scope andTo Workspace block logging.

When ReturnWorkspaceOutputs is enabled, it provides:

• Easier management of simulation data.
• Automatic access to SimulationMetadata.
• Compatibility with multiple parallel simulations and batch simulations.

Results and Recommended Actions

See Also

• Single simulation output
• Simulink.SimulationOutput

Check model for parameter initialization and tuning issues

Check ID:mathworks.design.ParameterTuning

Use this check to identify issues in the model that occur when you initialize parameters or tune them.

Description

This check scans your model for parameter initialization and tuning issues like:

• Rate mismatch between blocks
• Divide by zero issue in conditionally executed subsystems
• Invalid control port value in Index Vector blocks

Results and Recommended Actions

Action Results

Select Upgrade model to resolve issues in the model related to parameter initialization and tuning.

See Also

• Automatic Rate Transition

Check for virtual bus across model reference boundaries

Check ID:mathworks.design.CheckVirtualBusAcrossModelReference

Check virtual buses that cross model reference boundaries.

Description

This Upgrade Advisor check identifies root Inport andOutport blocks that have these issues at model reference boundaries:

• Incompatible virtual buses
• Large virtual buses that can slow performance (since R2024b)

This check also identifies the Model blocks that correspond with the affected Outport blocks.

Using nonvirtual buses instead of virtual buses resolves the issues.

Results and Recommended Actions

Tip

Run this check for all levels in the model reference hierarchy using theAnalyze model hierarchy and continue upgrade sequence check.

For root-level Inport and Outport blocks that receive incompatible virtual buses, the conversion happens in models where you:

• Use function prototype control.
• Perform C++ code generation with the I/O arguments step method option.
  To change the C++ code generation function specification setting to Default step method:
  1. In the > > pane, click Configure C++ Class Interface.
  2. In the dialog box, set the Function specification parameter toDefault step method.
• Use buses that have variable-dimension signals.
• Use an associated non-auto storage class forOutport block signals.
  The conversion for non-auto storage class occurs only if you have the target generation license that the model requires. For example, an ERT target requires an Embedded Coder license.
• Use export-function models where an Outport block is driven by a nonvirtual bus.
• Have Model blocks that reference models containingOutport blocks that have been fixed.

See Also

• Upgrade Models Using Upgrade Advisor
• Simplify Subsystem and Model Interfaces with Bus Element Ports
• Use Buses at Model Interfaces

Check model for custom library blocks that rely on frame status of the signal

Check ID:mathworks.design.DSPFrameUpgrade

This check identifies custom library blocks in the model that depend on the frame status of the signal.

Description

This check searches for the custom library blocks in a model that depend on the frame status of the signal. The check analyzes the blocks, recommends fixes, and gives reasons for the fixes. You must make the fixes manually.

Results and Recommended Actions

Capabilities and Limitations

You can run this check only on custom library blocks in your model.

You must make the fixes manually.

This check appears only if you have the DSP System Toolbox™ installed.

Check model for S-function upgrade issues

Check ID:'mathworks.design.CheckForSFcnUpgradeIssues'

Use this check on your model to identify your S-function's upgrade compatibility issues. These issues may include the use of 32-bit APIs, compilation with incompatible options, or use of deprecated separate complex APIs. Some common issues and information related to the fixes are described in results and recommendations section below.

Description

When upgrading your S-functions to use the features in the latest release, this check scans your model to warn against S-function upgrade incompatibility issues. If the result of this check gives a warning or error, fix your C MEX S-functions according to the description.

Results and Recommended Actions

See Also

• MATLAB Data in C S-Functions

Update System object syntax

Check ID:'mathworks.design.CheckSystemObjectUpdate'

Use this check to identify and update any custom MATLAB System object™ in your model that have outdated syntax.

Description

This check scans your model to identify outdated System object syntax. If the check passes, all the syntax is up to date. If the check fails, you can update the syntax.

Results and Recommended Actions

See Also

• Upgrade Models Using Upgrade Advisor

Check Rapid accelerator signal logging

Check ID:mathworks.design.CheckRapidAcceleratorSignalLogging

When simulating your model in rapid accelerator mode, use this check to find signals logged in your model that are globally disabled. Rapid accelerator mode supports signal logging. Use this check to enable signal logging globally.

Description

This check scans your model to see if a simulation is in rapid accelerator mode and whether the model contains signals with signal logging. If the check finds an instance and signal logging is globally disabled, an option to turn on signal logging globally appears.

Results and Recommended Actions

Action Results

Selecting Modify enables signal logging globally in your model.

See Also

• Upgrade Models Using Upgrade Advisor.

Check virtual bus inputs to blocks

Check ID:mathworks.design.VirtualBusUsage

Check bus input signals for a set of blocks.

Description

Check bus input signals for a set of blocks.

Starting in R2015b, virtual bus inputs to blocks that require nonbus or nonvirtual bus input can cause an error. Examples of blocks that can specify a bus object as their output data type include a Bus Creator block and a root Inport block. The blocks that cause an error when they have a virtual bus input in this situation are:

• Assignment
• Delay
  The Delay block causes an error only if you use the Block Parameters dialog box to:
  • Set an initial condition that is a MATLAB structure or zero.
  • Specify a value for State name.
• Permute Dimension
• Reshape
• Selector
• Unit Delay
  The Unit Delay block causes an error only if you use the Block Parameters dialog box to:
  • Set an initial condition that is a MATLAB structure or zero.
  • Specify a value for State name.
• Vector Concatenate

Results and Recommended Actions

Action Results

Clicking Modify inserts a Bus to Vector block at the input ports of blocks.

For many models, running the Upgrade Advisor modifies your model so that buses are not treated as vectors. However, for some models you can encounter compatibility issues even after running the check. Modify your model manually to address those issues.

After you compile the model using Upgrade Advisor, the Simulink Editor sometimes indicates that you need to save the model (the model is dirty), even though you did not make changes. To prevent this issue from reoccurring for this model, save the model.

See Also

• Bus to Vector block
• Identify Automatic Bus Conversions
• Migrating to Simplified Initialization Mode Overview
• Simulink.BlockDiagram.addBusToVector

Check for root outports with constant sample time

Check ID:mathworks.design.CheckConstRootOutportWithInterfaceUpgrade

Use this check to identify root output ports with a constant sample time used with an AUTOSAR target, Function Prototype Control, or the model C++ class interface.

Description

Root output ports with constant sample time are not supported when using an AUTOSAR target, Function Prototype Control, or the model C++ class interface. Use this check to identify root Outport blocks with this condition and modify the blocks as recommended.

Results and Recommended Actions

See Also

• Upgrade Models Using Upgrade Advisor.

Analyze model hierarchy and continue upgrade sequence

Check ID:com.mathworks.Simulink.UpgradeAdvisor.UpgradeModelHierarchy

Check for child models and guide you through upgrade checks.

Description

This check identifies child models of this model, and guides you through upgrade checks to run both non-compile and compile checks. The Advisor provides tools to help with these tasks:

• If the check finds child models, it offers to run the Upgrade Advisor upon each child model in turn and continue the upgrade sequence. If you have a model hierarchy you need to check and update each child model in turn.
• If there are no child models, you still need to continue the check sequence until you have run both non-compile and compile checks.

You must run upgrade checks in this order: first the checks that do not require compile time information and do not trigger an Update Diagram, then the compile checks.

Click Continue Upgrade Sequence to run the next checks. If there are child models, this will open the next model. Keep clicking Continue Upgrade Sequence until the check passes.

Results and Recommended Actions

Tips

Best practice for upgrading a model hierarchy is to check and upgrade each model starting at the leaf end and working up to the root model.

When you click Continue Upgrade Sequence, the Upgrade Advisor opens the leaf model as far inside the hierarchy as it can find. Subsequent steps guide you through upgrading your hierarchy from leaf to root model.

When you open the Upgrade Advisor, the checks that are selected do not require compile time information and do not trigger an Update Diagram. Checks that trigger an Update Diagram are not selected to run by default, and are marked with ^. When you use the Upgrade Advisor on a hierarchy, keep clicking Continue Upgrade Sequence to move through this sequence of analysis:

1. The Upgrade Advisor opens each model and library in turn, from leaf to root, and selects the non-compile checks. Run the checks, take any advised actions, then click Continue Upgrade Sequence to open the next model and continue.
2. When you reach the root end of the hierarchy, the Upgrade Advisor then opens each model again in the same order (but not libraries) and selects only the checks that require a model compile. Run the checks, take any advised actions, then click Continue Upgrade Sequence to open the next model. Continue until you reach the end of the hierarchy and this check passes.

See Also

• Upgrade Models Using Upgrade Advisor.
• Model Upgrades

Check Access to Data Stores

Check ID:mathworks.design.ConflictsForDataStoreReadWriters

Identify potential execution order sensitivity when reading and writing to data stores.

Description

The execution order of blocks that read and write to the same data store can change the simulation result. When blocks in the same hierarchy access the same data store, the execution order is not deterministic.

Results and Recommended Actions

See Also

• Local and Global Data Stores
• Data Store Memory
• Data Store Read
• Data Store Write

Check relative execution orders for Data Store Read and Data Store Write blocks

Check ID:mathworks.design.TaskBasedSorting

Check relative execution order changes between legacy and task-based sorting for Data Store Read and Data Store Write blocks.

Description

Legacy models used block sorting to determine block execution order. With task-based sorting, the relative execution order involving Data Store Memory blocks can change. This check detects the changes and provides an option to update your model with the original execution order.

Results and Recommended Actions

See Also

• Control and Display Execution Order

Check for case mismatches in references to models and libraries

Check ID:mathworks.design.CaseSensitiveBlockDiagramNames

Identify and fix case-insensitive references to models and libraries.

Description

Starting R2020a, Simulink model and library names are case-sensitive. This check detects and provides an option to fix case-insensitive references to models and libraries.

Results and Recommended Actions

See Also

• Upgrade Models Using Upgrade Advisor

Check model for Signal Builder blocks

Check ID:mathworks.design.Sigbldr.upgradeCheck

Searches for Signal Builder blocks in models.

Description

Find Signal Builder blocks in models and replace them with equivalently configured Signal Editor blocks.

Results and Recommended Actions

See Also

• Signal Editor
• Upgrade Models Using Upgrade Advisor

Check output dimensions of MATLAB Function blocks

Check ID:mathworks.simulink.MLFBOutputDimensions

Check lists all the MATLAB Function blocks that have theInterpret output column vectors as one-dimensional data property enabled. If the property is enabled, the block converts output column vectors of size N-by-1 to one-dimensional signals with a signal size equal to N.

Results and Recommended Actions

See Also

• Upgrade Models Using Upgrade Advisor
• Interpret output column vectors as one-dimensional data

Check model for RF Blockset Divider blocks using Wilkinson power divider component with broken connections

Check ID:mathworks.design.rfblockset.ce.checkDisconnectedDividerBlocks

Search the model and list the RF Blockset™ Divider blocks using the Wilkinson power divider component with broken port connections on port 3.

Description

Starting R2021a, port positions of the RF Blockset Divider blocks using the Wilkinson power divider component are changed. This check searches and lists the Divider blocks using the Wilkinson power divider component model with broken port connections on port 3 prior to R2021a. You can then rewire the connections using the Modify button.

Results and Recommended Actions

Action Results

Clicking Modify rewires the broken port connections on port 3 of the RF Blockset Divider blocks.

Note

The Modify button will attempt to automatically rewire all the broken connections at port 3 of the Divider blocks using the Wilkinson power divider component in your model. To ensure accuracy, you must subsequently:

• Examine the details listed under the Result pane of the Upgrade Advisor.
• The first list enumerates the RF Blockset Divider blocks using the Wilkinson power divider component that require manual rewiring due to model complexity.
• The second list enumerates the automatically rewired blocks.
• Fixed and unfixed Divider blocks are temporarily highlighted in colors green and red, respectively. Click theRemove all temporary block highlighting link at the bottom of theResult pane to remove the highlights.

See Also

• Upgrade Models Using Upgrade Advisor

Identify Environment Controller Blocks and Replace Them with Variant Source Blocks

Check ID:mathworks.design.ReplaceEnvironmentControllerBlk

Search for Environment Controller blocks in the model.

Description

Find Environment Controller blocks in the model and replace them with Variant Source blocks with the Variant control mode parameter set to 'sim codegen switching'.

Results and Recommended Actions

Capabilities and Limitations

• You can run this check on your library models.
• You cannot use this check to identify Environment Controller blocks in referenced models and linked blocks.

See Also

• Environment Controller block has been removed
• Variant Source

Identify variant blocks with VariantActivation set to "Inherit From Simulink.VariantControl" but does not useSimulink.VariantControl

Check ID:mathworks.simulink.InheritVATFromSlVarCtrlCheck

Identify variant blocks in the model that have no variant control variables of type Simulink.VariantControl to inherit activation time.

Description

Identify variant blocks with Variant activation time set to inherit from Simulink.VariantControl but no variant control variables of type Simulink.VariantControl.

Results and Recommended Actions

Capabilities and Limitations

• You can run this check on your library models.

See Also

• Simulink.VariantControl
• Types of Variant Activation Time in Variant Blocks and Variant Parameters

Replacing Blocks That Will Be Removed Overview

Checks to identify if the model contains any blocks that have been removed or will be removed in a future release.

See Also

• Run Model Advisor Checks

Check for machine-parented data

Check ID:mathworks.stateflow.MachineParentedData.check

Check the model for instances of machine-parented data.

Description

Machine-parented data prevents models from reusing generated code and other code optimizations. Machine-parented data is also incompatible with many Simulink and Stateflow features. To make Stateflow data accessible to other charts and blocks in a model, use chart-parented data of scope Data Store Memory. For more information, see Access Data Store Memory from a Chart (Stateflow).

Results and Recommended Actions

Action Results

Clicking Upgrade model creates chart-parented data in the charts that use machine-parented data.

• If a machine-parented data object has a scope ofParameter, the new chart-parented data object has a scope of Parameter. The value is stored as a Simulink.Parameter object in the model workspace.
• If a machine-parented data object has any other scope, the new chart-parented data object has a scope of Data Store Memory. The value is stored as a Simulink.Signal object in the model workspace.

Capabilities and Limitations

Automatic conversion fails when:

• The model workspace contains a Simulink.Parameter or Simulink.Signal object with the same name as the machine-parented data.
• The model contains chart-parented data, events, or messages with the same name as the machine-parented data.
• The machine-parented data uses Stateflow semantics that do not have an equivalent forSimulink.Parameter orSimulink.Signal objects.

Tips

If your model contains a library chart or an atomic subchart linked from a library, you must upgrade every model that uses the library before you upgrade the library.

1. Open and upgrade each top model that uses the library.
   Upgrading the top model creates a Simulink.Parameter or Simulink.Signal object in the model workspace for each machine-parented data in the library.
2. Save and close the top models.
3. Open and upgrade the library model.
   Upgrading the library model creates chart-parented data that replaces the machine-parented data in the library.
4. Save and close the library model.

See Also

• Share Parameters with Simulink and the MATLAB Workspace (Stateflow)
• Access Data Store Memory from a Chart (Stateflow)
• Best Practices for Using Data in Charts (Stateflow)
• Upgrade Models Using Upgrade Advisor

Identify clones from the linked library

Check ID:mathworks.cloneDetection.libraryEdittime

Identify clones in the model from the linked library file.

Description

Clones are modeling patterns that have identical block types and connections. The Clone Detector (Simulink Check) identifies clones across the model. You can reuse components in your model by identifying clone patterns and replacing clones with links to the library blocks.

This check highlights the clones present in the model from the linked library.

Results and Recommended Actions

Capabilities

You can run this check to:

• Highlight exact clones from the linked library. For more information, see Exact Clones and Similar Clones (Simulink Check).
• Highlight both subsystem clones and Simulink blocks with identical patterns from the linked library. For more information, see Specify Where to Detect Clones (Simulink Check).

Limitations

• The check cannot identify clones in variants, Stateflow charts, and MATLAB Function blocks in the model.
• The check does not highlight clones if a subsystem contains a nested subsystem that is more than two levels deep.

Action Results

Clicking the Fix button replaces the clones with links to the linked library file.

See Also

• Enable Component Reuse by Using Clone Detection (Simulink Check)
• Replace Exact Clones with Subsystem Reference (Simulink Check)

Refactor Bus Selector and Bus Creator blocks to In Bus Element and Out Bus Element blocks

Check ID:mathworks.m2m_edittime.BusPortsXform

Refactor Bus Selector and Bus Creator blocks to In Bus Element and Out Bus Element blocks.

Description

To simplify your model, it is recommended to use In Bus Element and Out Bus Element blocks instead of Bus Selector blocks for inputs and Bus Creator blocks for outputs. For more information, see Simplify Subsystem and Model Interfaces with Bus Element Ports.

This check highlights the Bus Selector and Bus Creator blocks in the model and you can transform those blocks toIn Bus Element and Out Bus Element blocks.

Results and Recommended Actions

Capabilities

You can refactor the model by clicking Fix button in Model Advisor.

Action Results

Fix button transforms the model by replacing the suitableBus Selector and Bus Creator blocks to In Bus Element and Out Bus Element blocks.

See Also

• Check Model Compliance Using Edit-Time Checking (Simulink Check)
• Simplify Subsystem and Model Interfaces with Bus Element Ports

Clone Detection and Model Refactoring

Use Clone Detection and Model Refactoring checks to improve model componentization, readability, and enable reuse. If you have a Simulink Check license, you can use edit-time checking to identify clones from the linked library file and refactor Bus Selector and Bus Creator blocks to In Bus Element and Out Bus Element blocks during the model development process.

See Also

• Identify clones from the linked library
• Check Model Compliance Using Edit-Time Checking

Check if the model settings to create an export-function model are satisfied

Check ID:mathworks.design.CheckExpFcnMdlSpecification

Check if both the modeling style and the execution domain settings conform to export-function model design requirements.

For more information, see Designate Model as Export-Function Model and Satisfy Export-Function Model Requirements.

Description

This check searches for any mismatch between the execution domain setting on the Property Inspector tab and the modeling style when you create an export-function model.

Results and Recommended Actions

See Also

• Create Export-Function Model

Check for recursive event broadcasts in Stateflow

Check ID:mathworks.stateflow.RecursiveEventBroadcast.check

Identify recursion caused by undirected local events or local events that create early return logic.

Description

This check searches for and lists objects that use recursive event broadcasts caused by undirected local events or events that create early return logic. For more information on recursive event broadcasts, see Resolve Unintended Recursive Behavior (Stateflow).

Note

In a future release, Stateflow blocks will no longer support recursive event broadcasts caused by undirected local events or local events that create early return logic.

Results and Recommended Actions

See Also

• Resolve Unintended Recursive Behavior (Stateflow)