This task addresses the formulation of a new synchronization constraint in TADL format. Hence, when the events and the synchronization parameter are defined, it is possible to formulate the actual constraint. However, as part of this task it is also important to analyze how easy it will be to actually fulfill the constraint in the final design. Normally there are several choices available for the parameter and a suitable trade-off between desired synchronization effect and design feasibility must be made. In particular, the relation between width and the periodic behavior of the events plays an important role. For example, if width is 20 ms and the events occur periodically every 10 ms, the synchronization constraint will always be satisfied. In contrast, if width is 10 ms and the event periods 20 ms, the constraint may or may not be satisfied depending on how the events actually occur in reality.
|