Task: Refine, introduce and validate synchronization requirements
This task transforms the timing requirements imported from the higher abstraction level to be understood at the current abstraction level.
Disciplines: Specify synchronisation constraints tasks
Relationships
Main Description

This task transforms the timing requirements imported from the higher abstraction level to be understood at the current abstraction level. Once a set of timing requirements is obtained, verified and validated at an upper abstraction level, this task refines such time requirements to be attached to the current abstraction level solution. Moreover, this task should perform a validation activity to make sure that the formulated requirements indeed express the intended meaning.

In the case of synchronization, this task refines the synchronization requirements imported from the upper abstraction level so that they can be attached at the current abstraction level solution.