Task: Verify and validate synchronization properties
This task verifies that the synchronization constraints (and possibly associated delay constraints) on a certain abstraction level are satisfied. It also validates that the synchronization constraints conform with the synchronization requirements from the level above.
Relationships
InputsMandatory:
    Optional:
    • None
    Outputs
      Main Description

      When the constraints have been formulated (in TADL), the analysis part of the task Create synchronization constraint proposal should also have ensured that the constraints indeed are satisfied by the design constructs within the abstraction level. It is the responsibility of this task to actually make this check and report the result. What is also performed here is the validation of the constraints compared to the synchronization requirement from the higher abstraction level. That is, to make sure that the formulated constraints indeed express the intended meaning. This validation is perhaps most important at vehicle and analysis level where the originating requirement is not formalized in TADL but needs to be interpreted.