This task maps the refined synchronization requirements to the current solution. For instance, it refines the existing timing model by adding or subtracting events to the existing generic sets of events for which a synchronization constraint is required. The refinement of such sets of events depends on the particular solution created by the task Create solution. The required tolerance imported from the higher abstraction layer and initially attached to a given set of events, is now attached to the correspondent refined set of events.
|