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.

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.

Related Topics

• Create Exclusive Exhaustive Requirements
• Establish Hierarchy in Requirements Table Blocks
• Analyze Requirements Table Blocks for Modeling Problems