Check for root Inports with missing range definitions

mathworks.hism.hisl_0025

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0025: Design min/max specification of input interfaces

Description

This check identifies root-level Inport blocks for missing or erroneous minimum or maximum range values.

  • Root-level Inport blocks with missing or erroneous minimum or maximum range values for Simulink models.

    You can specify Inport block minimum and maximum values with block parameters or Simulink signal objects that explicitly resolve to the connected signal lines.

  • Root-level input ports with missing or erroneous minimum or maximum range values for architecture models.

A results table provides links to Inport blocks and signal objects that do not pass the check, along with conditions triggering the warning.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling ConditionRecommended Action

Model contains Inport blocks with numeric data types that have missing range parameters (minimum or maximum).

For the Inport blocks and Simulink signal objects listed in the results, specify scalar minimum and maximum parameters.

Bus objects defining the Inport blocks have bus elements with missing ranges.

For the bus elements listed in the results, to specify the model interface range, provide scalar minimum and maximum parameters.

Minimum or maximum values at Inports or Simulink signal objects are not supported for bus data types. The values are ignored during range checking.

To enable range checking, specify minimum and maximum signal values on the bus elements of the bus objects defining the data type.

Model contains Inport blocks or Simulink signal objects with inherited data types.

For the Inports block and Simulink signal objects listed in the results, specify one of these supported data types:

Model contains Inport block signal names that implicitly resolve to a Simulink signal object in the base workspace, model workspace, or Simulink data dictionary.

For the Simulink signal objects listed in the results, in the Signal Properties dialog box, select Signal name must resolve to Simulink signal object. To set this option programmatically, set the port parameter MustResolveToSignalObject to "on".
One or more input ports of an architecture model have missing or erroneous range definitions.The data interface assigned to the input ports listed in the results has missing ranges. Provide minimum and maximum values to the data interface.

Capabilities and Limitations

  • Does not run on library models

  • Does not require model compilation

  • Does not support exclusion in architecture models

  • Does not analyze the content of library-linked blocks

  • Does not analyze the content in masked subsystems

  • Allows exclusions of blocks and charts

  • Supports edit-time checking

  • Supports bus element ports

    Note

    Implicit resolution to a Simulink signal object is not applicable for signals connected to bus element ports.

Version History

Introduced in R2018b

See Also

Topics