Main Content

Check for MATLAB Function interfaces with inherited properties

mathworks.hism.himl_0002

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: himl_0002: Strong data typing at MATLAB function boundaries

Description

Use this check to identify MATLAB® functions that have inputs, outputs, or parameters with inherited complexity or data type properties.

Check Parameters

Use the Model Advisor Configuration Editor to define the scope of the analysis by specifying the input parameters.

ParameterDescription
Check external .m files referenced in the model

Specify whether to run on referenced MATLAB files in the model.

on (default) | off

Follow links

Specify whether to include content of library-linked blocks in the analysis.

on (default) | off

Look under masks

Specify whether to include masked model elements in the analysis.

all (default) | none | graphical | functional

  • all — Check analysis includes all masked model elements.

  • none — Check analysis excludes masked model elements.

  • graphical — Check analysis includes only the graphical masked model elements.

  • functional — Check analysis includes only the functional masked model elements.

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
MATLAB functions have inherited interfaces.

Explicitly define complexity and data type properties for inports, outports, and parameters of MATLAB functions identified in the results.

If applicable, by using the MATLAB Function Block Editor, make the following modifications in the Property Inspector:

  • Change Complexity from Inherited to On or Off.

  • Change Type from Inherit: Same as Simulink to an explicit type.

Capabilities and Limitations

  • Analyzes only the functions that are directly referenced by the Simulink model

  • Runs on library models

  • Allows exclusions of blocks and charts

  • Analyzes both active and inactive variant choices

  • Does not require model compilation

Version History

Introduced in R2016a