Check for model elements that do not link to requirements

mathworks.hism.hisl_0070

Since R2021a

Dependencies: Simulink® Check™ and Requirements Toolbox™

Usage: High-Integrity System Modeling

Guideline: hisl_0070: Placement of requirement links in a model

Description

This check verifies whether model elements or groups of model elements link to a document containing engineering requirements for traceability. This check also verifies whether each component adheres to the maximum number of unique requirement links, and that each linked component adheres to the maximum number of child objects.

  • Component — A component is a group of model elements.

    • In Simulink, a component is a top-level block diagram, subsystem, MATLAB function, or area annotation.

    • In Stateflow®, a component is a chart, superstate, box, Simulink function, graphical function, Simulink State, MATLAB Function, or Truth Table.

    • In MATLAB®, a component is a function.

    • In System Composer™, a component is a Component block, an Adapter block, or a Sequence Diagram.

  • Child object

    • In Simulink, child objects are all model elements without requirement links except subsystems.

    • In Stateflow, child objects are the following without requirement links: states, boxes, graphical functions, embedded MATLAB functions, truth tables, subcharts, and atomic subcharts. The exceptions are Simulink based states and Simulink functions.

    • In MATLAB, child objects are lines of code contained within each MATLAB function.

    • In System Composer, child objects are the following without requirement links: System Composer components and Adapter blocks.

Run this check from the top model or subsystem that you want to check.

Check Parameters

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

ParameterDescription

Check Behavior

Whether to expect requirement links at the component level or at the non-exempt model element level.

Check requirement links to components only (HISL_0070) (default) | Check requirement links to all non-exempt model elements

Maximum number of requirement links per model elements

The maximum number of requirement links allowed for each model element.

5 (default) | positive value

Maximum number of child objects per linked component in Simulink/System Composer

The maximum number of child objects allowed for each linked component in Simulink.

100 (default) | positive value

Maximum number of child objects per linked component in Stateflow

The maximum number of child objects allowed for each linked component in Stateflow.

100 (default) | positive value

Maximum number of lines of code per linked MATLAB function

The maximum number of lines of code allowed for each linked MATLAB function.

200 (default) | positive value

Follow links

Verify and trace links within the Simulink model.

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.

List of model elements exempt from requirement links

The model elements that can be exempted from requirement links. Add or remove blocks from the list by using the Add, Delete, and Add from buttons. By default, the list includes these blocks:

  • Ground

  • Terminator

  • Inport

  • Outport

  • InportShadow

  • Goto

  • From

  • Mux

  • Demux

  • CMBlock

  • DocBlock

  • System Requirements

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 elements or groups of model elements do not link to a requirements document.For each model element in the model, in the Model Editor, right-click the model element, select Requirements and specify a requirement.
Model elements have link requirements that exceed the set threshold.Make sure that model elements do not exceed the set threshold for maximum links to requirements.
Components in the model with links to requirements exceed the threshold for number of child objects.Make sure that components with links to requirements do not exceed the threshold for number of child objects.

Capabilities and Limitations

  • Runs on library models

  • Allows exclusions of blocks and charts

  • Does not allow the exclusion of Stateflow elements

  • Verifies the requirements that are added to the MATLAB function headers or to the entire MATLAB function body only

  • Verifies whether a requirement link is placed on a top-level library link and on model references

  • The check report provides a link in the recommended actions tab for opening the Traceability Matrix

  • The Sequence Diagram cannot be highlighted in the model advisor report

  • Analyzes both active and inactive variant choices

  • Does not require model compilation

Version History

Introduced in R2021a

See Also

Topics