Main Content

Check safety-related diagnostic settings for bus connectivity

Check ID: mathworks.hism.hisl_0307

Check model configuration for diagnostic settings that apply to bus connectivity and that can impact safety.

Description

This check verifies that model diagnostic configuration parameters pertaining to bus connectivity are set optimally for generating code for a safety-related application.

Available with Simulink® Check™.

Results and Recommended Actions

ConditionRecommended Action
The diagnostic that detects whether a Model block's root Outport block is connected to a bus but does not specify a bus object is set to none or warning. For a bus signal to cross a model boundary, the signal must be defined as a bus object for compatibility with higher level models that use a model as a reference model. Set Unspecified bus object at root Outport block on the Diagnostics > Connectivity pane in the Configuration Parameters dialog box or set the parameter RootOutportRequireBusObject to error.
The diagnostic that detects whether the name of a bus element matches the name specified by the corresponding bus object is set to none or warning. This diagnostic prevents the use of incompatible buses in a bus-capable block such that the output names are inconsistent. Set Element name mismatch on the Diagnostics > Connectivity pane in the Configuration Parameters dialog box or set the parameter BusObjectLabelMismatch to error.
The diagnostic that detects when some blocks treat a signal as a mux/vector, while other blocks treat the signal as a bus, is set to none or warning. When the Simulink software automatically converts a muxed signal to a bus, it is possible for an unintended operation or unpredictable behavior to occur.

Set Bus signal treated as vector on the Diagnostics > Connectivity pane in the Configuration Parameters dialog box to error, or the parameter StrictBusMsg to ErrorOnBusTreatedAsVector.

The diagnostic detects that the parameter Non-bus signals treated as bus signals is not set to error.

Set Non-bus signals treated as bus signals on the Diagnostics > Connectivity pane in the Configuration Parameters dialog box, or the parameter NonBusSignalsTreatedAsBus to error.

Action Results

Clicking Modify Settings configures model diagnostic settings that apply to bus connectivity and that can impact safety.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

See Also