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.
|