Task: Specify synchronization properties as requirements
This task expresses that a synchronization constraint indeed are requirements. Done by adding requirement links in TADL.
Relationships
InputsMandatory:
    Optional:
    • None
    Outputs
      Main Description

      This final step involves adding the modeling constructs necessary to indicate that the formulated constraints indeed are to be considered as requirements on the lower abstraction level.