Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
VIDEO: The Webel SysMLv2/MBSE course has landed! Take a quick tour!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!

SysMLv2: Cameo 2026xHF2: TIP: A requirement verification usage of the objective of a verification cases lists under the require constraints compartment

Icon class
icon_class
far fa-sticky-note
icon_class_computed
far fa-sticky-note
Note kind
DISPLAY
FEATURE
TIP
TOOL
Policy level
INFORMATIVE
Specification keywords
SysMLv2
SysMLv2 keywords
objective
verification case
requirement verification usage
verify
require constraints compartment
compartment
«verify»
Keywords
Relates to
34. Verification: Verification Case Definition Example.sysml
Related notes
[ISSUE, LIMITATION, TOOL]{INFORMATIVE} SysMLv2: Cameo 2026xHF2: ISSUE: Does not seem to automatically bind by default the subject of a verification case to its objective or the subject of the objective to its requirement verification usages
Related notes (backlinks)
Related snippets (extracts)
  [SysMLv2] In addition to assumed and required constraint usages allowed in any requirement usage ... the objective of a verification case may also have requirement verification usages, which indicate the requirements to be verified by the verification case.
  [SysMLv2] A requirement verification usage is a subrequirement of the objective that is indicated by prefixing a requirement usage declaration with the keyword verify.
  [SysMLv2] As for an assumed or required constraint, the keyword verify can be used rather than verify requirement to declare a verified requirement using reference subsetting.
  [SysMLv2] In addition, its subject is bound by default to the subject of the objective, which is itself bound to the subject of the verification case.
Visit also
Visit also (backlinks)