Check for root Outports with missing range definitions

mathworks.hism.hisl_0026

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0026: Design min/max specification of output interfaces

Description

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

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

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

  • Root-level output ports and signal objects with missing or erroneous minimum or maximum range values for architecture models.

A results table provides links to Outport blocks 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 Outport blocks with numeric data types that have missing range parameters (minimum and/or maximum).

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

Bus objects defining the Outport blocks have leaf elements with missing ranges.

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

Minimum or maximum values at Outports 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 leaf elements of the bus objects defining the data type.

Model contains Outport block or Simulink signal objects with inherited bus data types.

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

Model contains Outport 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, select Signal name must resolve to Simulink signal object. To set this option programmatically, set the port parameter MustResolveToSignalObject to "on".
One or more output ports of architecture model have missing or erroneous range definitions.The data interface assigned to the output ports listed in the results has missing ranges. Provide minimum and maximum values to the data interface.

Capabilities and Limitations

  • Does not flag ports with an enumerated data type or a Boolean data type when minimum or maximum values are not set

  • 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