Task: Verify and validate synchronisation
This task verifies if the time properties extrapolated from the current solutions together with the time properties exported from the lower abstraction level meets the requirement provided by the task Refine, introduce and validate timing requirements.
Disciplines: Specify synchronisation constraints tasks
Relationships
Main Description

This task verifies if the time properties extrapolated from the current solutions together with the time properties exported from the lower abstraction level meets the requirement provided by the task Refine, introduce and validate timing requirements. Notice that the comparison between the current solution time properties and the timing requirements derived from the upper level follows a top-down approach, while the comparison between the current solution properties and the exported timing properties from the lower abstraction level follows a bottom-up approach.