TimingConstraints::StrongSynchronizationConstraint

Header Image

EAST-ADL / Timing / TimingConstraints / StrongSynchronizationConstraint

Content:
StrongSynchronizationConstraint : Public Class TimingConstraints1
A StrongSynchronizationConstraint describes how tightly the occurrences of a group of events follow each other.<br/><br/>Semantics:<br/>A system behavior satisfies a StrongSynchronizationConstraint c if and only if<br/>there is a set of times X such that for each c.event index i, the same system behavior satisfies<br/><br/>StrongDelayConstraint { source = X,<br/>target = c.event(i),<br/>lower = 0,<br/>upper = c.tolerance }<br/>
  • Associations
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
Event
Class   		Name:  
  		Name: event
 
Details:
 
Element Source Role Target Role
TimingExpression
Class   		Name: tolerance
Default: infinity 		Name:  
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
TimingExpression Class Strong From  
TimingConstraint Class Generalization To