Can a requirement be satisfied by several elements? (SysML)

[Hurra]

Hello!

We have Services linked to Service Instructions, and the latter contains requirements.

A Service Intruction is linked to 1..* Service(s).

Example:
The Service Instruction Audio and Video Communication is linked to the Service Audio Communication, but also to the Service Video Communication.

I wanted to map Service to requirement with the Satisfy relationship. But I realized that one requirement will then be satisfied by two different elements, i.e the two Services.

Is that ok according to SysML or can a requirement only be satisfied by one element?

My thought process is that when the requirement is to be verified, both services must be implemented correctly, otherwise the requirement is only partially verified? I don't know how that would work.
On the other hand the requirement will be verified through a test case, so in the end it depends on how the test case is specified/constructed. Perhaps one test case for each service, and the requirement is verified only if both test cases passes?

Testing isn't my headache but I wanted to make sure I don't model anything that might create issues in the future.

Thank you for your input!

[qwerty]

Though I don't know SysML in detail I would think so. You always can have different impementation variants in a single system that both fulfil one requirement.

q.

[Hurra]

Though I don't know SysML in detail I would think so. You always can have different impementation variants in a single system that both fulfil one requirement.

q.

Ok, thank you!

I will go with that