Main Content

Detect Exclusivity Issues in the Requirements Table Block

Since R2023b

You can use exclusive exhaustive requirements to create non-overlapping and complete child requirements. When you create exclusive exhaustive child requirements, you must avoid exclusivity issues, which occur when more than one or no exclusive exhaustive requirements are active. If you have Simulink® Design Verifier™, you can analyze the table to detect these exclusivity issues before simulation. For more information on exclusive exhaustive requirements, see Create Exclusive Exhaustive Requirements.

To analyze the block, in the Table, click Analyze Table. When exclusive exhaustive requirements have exclusivity issues, the table highlights the parent requirement in red and displays an alert icon . In this image, the parent requirement has exclusive exhaustive child requirements. The table has two exclusivity issues.

Requirements table with one parent requirement and three child requirements. The parent requirement is highlighted red and has an alert icon.

The Analysis Results pane displays additional information on the exclusivity issues. To fix the first issue, modify the existing requirements to eliminate the overlap when u is greater than 3. To fix the second issue, introduce requirements that define when u is greater than or equal to -4 and less than or equal to 0.

The Analysis Results pane listing the information for the two exclusivity issues.

Related Topics