Webel has suggested that SysMLv2 should support verification of each individual claim of more than one Element helping to Satisfy a Requirement.

Icon class
icon_class
far fa-sticky-note
icon_class_computed
far fa-sticky-note
Note kind
Policy level
Specification keywords
SysML keywords
Keywords
Click on the image to view it full size
Dr Darren says:
I've always thought that the Verify relationship in the SysML Requirements system - and the equivalent in other requirements engineering systems - does not do quite the right thing. What one needs to do is not Verify a Requirement, but Verify each claim that a Requirement is (at least partially) satisfied by an element of a system.
Webel has suggested that this might be addressed by future SysMLv2.
Relates to
Related notes
Related notes (backlinks)
Related snippets (extracts)
Visit also
Visit also (backlinks)