Synchronization
A Synchronization Constraint describes how tightly the occurrences of a group of events follow each other.
Relationships
Main Description

Short Description

A Synchronization Constraint describes how tightly the occurrences of a group of events follow each other.

 

Links to TADL2 concepts

·         SynchronizationConstraint

·         Event

·         TimingExpression

 

Abstraction level specific list of applicable events

Synchronization constraint can be applied to any type of events, see supporting material below.

 

Context Specific Example

Typically the events are identified on ports of elements that are parallel in the model and of the same type. E.g. the requested brake torque at the different wheels of a vehicle.

 

s = synchronizationConstraint {

           events = e1, e2, e3

           tolerance = 5 ms

 }

 

Figure 1. There must exist a sequence of time windows of width tolerance, such that every occurrence of every event in events belongs to at least one window, and every window is populated by at least one occurrence of every event.

 

More Information