Check for architecture components without requirement links

R2026b

mathworks.hism.hisc_0001

Since R2026b

Dependencies: Simulink® Check™, Requirements Toolbox™, and System Composer™

Usage: High-Integrity System Modeling

Guideline: hisc_0001: Placement of requirement links in an architecture model

Description

This check verifies whether components of a System Composer architecture model are linked to a document containing Requirements (Requirements Toolbox) to establish bidirectional traceability.

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

Check Parameters

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

ParameterDescription

List of architecture model elements exempt from requirement links

The architecture 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:

  • Area Annotations

  • Display

  • Gauge

  • Slider

  • Adapter

  • Initial Node

  • Flow Final Node

  • Activity Final Node

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
Architecture components do not link to a requirements documentFor each architecture component, right-click the element, select Requirements, and link it to the appropriate requirement.

Capabilities and Limitations

  • Does not support exclusions

  • Does not require model compilation

Version History

Introduced in R2026b

See Also

Topics