Verification
Model Checks
68 rule-based checks of the whole model: Global (5), Action (17), Asset (14), Conduit (9), Input/Output (10), Requirement (10), Risk (1), Test Case (1) and Measure (1).
Where to find it
- In the navigation rail: Verification → Model Checks.
Main actions
- Top bar: Export CSV, Settings (each rule Error, Warning or Ignore; Reset to Defaults) and ↻ Run Analysis.
- Cards: Overall Analysis (%), Bar Analysis (errors and warnings) and one card per class listing each rule's severity, heading and issue count. Expand All, Collapse All and Filter issues narrow the list.
- Each issue has Fix (rename, renumber, add or edit relationships, merge duplicates, open the diagram or entity) and Ignore; the card's ⋯ has Unignore All.
Tips
- Examples: duplicate or similar names, unique numbers, ambiguous words, orphans, actions with no performer, unbalanced I/O, conduits that transfer nothing, requirements without “shall”, leaf requirements not allocated (Requirement.8) or not verified (Requirement.10), high open risks without mitigation (Risk.1), failed tests without an Issue (TestCase.1), and Measures that breach their threshold (Measure.1).
- Model check errors appear on Home and as a badge on Verification.