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.
|