Check for components that are not linked to requirements

R2026b

mathworks.hism.hisl_0070

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 Requirements (Requirements Toolbox) for traceability.

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

Elements under review: In this check, these elements are collectively referred to as components.

• Simulink

  • Top-level block diagrams

  • Subsystems

  • MATLAB Function blocks

  • Area annotations

• Stateflow

  • Charts

  • Superstates

  • Boxes

  • Simulink functions

  • Graphical functions

  • Simulink State

  • MATLAB functions

  • Truth Tables

• MATLAB

  • Functions

Check Parameters

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

Parameter	Description
Check external .m files referenced in the model	Specify whether to run on externally 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.
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 Condition	Recommended Action
Model components 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.

Capabilities and Limitations

• Runs on library models

• Allows exclusions of blocks and charts

• 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

• Provides a link in the Recommended Actions tab of the check report to open the Traceability Matrix

• Analyzes both active and inactive variant choices

• Does not require model compilation

Version History

Introduced in R2021a

R2026b: Refinement and scope alignment

The original scope of this check is reorganized and split into several targeted checks. Each check addresses a specific aspect of requirement linking.

Requirement linking issues for Simulink components, architecture components, and requirement granularity are now covered by separate checks: Check for requirement granularity in a model, Check for architecture components without requirement links, and Check for requirement granularity in an architecture model.