Generating an unsatisfied requirements report (SysML)
Right-click the Model or a Package that contains the Requirements for which you want to report, point to Report, and then click Unsatisfied Requirements.
Note that in addition to the Model or Package you right-click, Modeler checks Requirements in any child Packages.
Modeler adds the unsatisfied Requirements to the Results pane.
A Requirement is reported as unsatisfied when it is not linked to any items through a satisfy link.