Timing::TimingExpression

Header Image

EAST-ADL / Timing / TimingExpression

Content:
TimingExpression : Public Class TimingElementsOrganization, TimingConstraints1, EventChainTimingConstraints, TimingConstraints2
A Timing Expression, denoted by texp, is a term built from an arithmetic expression by applying an optional unit and referencing an optional time base. It stands for a value in the real number system extended with positive and negative infinity.<br/><br/>Grammar:<br/>texp   ::=   aexp<br/>    |   aexp UN<br/>    |   aexp on TB<br/>    |   aexp UN on TB<br/> <br/>Semantics:<br/>Given a particular variable assignment, the meaning of a timing expression texp in that assignment is a value in the real number system extended with positive and negative infinity. Depending on the form of texp, this value is defined as follows:<br/>- If texp is of the form aexp, its meaning is the meaning of aexp in the given variable assignment.<br/>- If texp is of the form aexp UN, its meaning is r * k, where r is the meaning of aexp in the given variable assignment, and k is the factor of UN in the Universal time base.<br/>- If texp is of the form aexp on TB, its meaning is f (r), where f is the meaning of TB in the given variable assignment, and r is the meaning of aexp in the same assignment.<br/>- If texp is of the form aexp UN on TB, its meaning is f (r * k), where f is the meaning of TB in the given variable assignment, r is the meaning of aexp in the same assignment, k is the factor of UN in DI, and DI is the dimension of TB.<br/>
  • Associations
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
StrongSynchronizationConstraint
Class   		Name: tolerance
Default: infinity 		Name:  
 
Details:
 
InputSynchronizationConstraint
Class   		Name: tolerance
Default: infinity 		Name:  
 
Details:
 
ExecutionTimeConstraint
Class   		Name: lower
  		Name:  
 
Details:
 
ExecutionTimeConstraint
Class   		Name: upper
  		Name:  
 
Details:
 
StrongDelayConstraint
Class   		Name: upper
Default: infinity 		Name:  
 
Details:
 
OutputSynchronizationConstraint
Class   		Name: tolerance
Default: infinity 		Name:  
 
Details:
 
StrongDelayConstraint
Class   		Name: lower
Default: 0 		Name:  
 
Details:
 
PatternConstraint
Class   		Name: period
  		Name:  
 
Details:
 
Element Source Role Target Role
PeriodicConstraint
Class   		Name:  
  		Name: minimum
Default: 0
Details:
 
ReactionConstraint
Class   		Name:  
  		Name: minimum
Default: 0
Details:
 
RepetitionConstraint
Class   		Name:  
  		Name: upper
Default: infinity
Details:
 
SporadicConstraint
Class   		Name:  
  		Name: upper
Default: infinity
Details:
 
SporadicConstraint
Class   		Name:  
  		Name: jitter
Default: 0
Details:
 
ReactionConstraint
Class   		Name:  
  		Name: maximum
Default: infinity
Details:
 
SporadicConstraint
Class   		Name:  
  		Name: lower
Default: 0
Details:
 
AgeConstraint
Class   		Name:  
  		Name: maximum
Default: infinity
Details:
 
BurstConstraint
Class   		Name:  
  		Name: minimum
Default: 0
Details:
 
RepetitionConstraint
Class   		Name:  
  		Name: lower
Default: 0
Details:
 
PatternConstraint
Class   		Name:  
  		Name: jitter
Default: 0
Details:
 
ArbitraryConstraint
Class   		Name:  
  		Name: maximum
 
Details:
 
PatternConstraint
Class   		Name:  
  		Name: offset
 
Details:
 
PeriodicConstraint
Class   		Name:  
  		Name: period
 
Details:
 
ArbitraryConstraint
Class   		Name:  
  		Name: minimum
 
Details:
 
PatternConstraint
Class   		Name:  
  		Name: minimum
Default: 0
Details:
 
SporadicConstraint
Class   		Name:  
  		Name: minimum
Default: 0
Details:
 
AgeConstraint
Class   		Name:  
  		Name: minimum
Default: 0
Details:
 
DelayConstraint
Class   		Name:  
  		Name: upper
Default: infinity
Details:
 
DelayConstraint
Class   		Name:  
  		Name: lower
Default: 0
Details:
 
RepetitionConstraint
Class   		Name:  
  		Name: jitter
Default: 0
Details:
 
PeriodicConstraint
Class   		Name:  
  		Name: jitter
Default: 0
Details:
 
BurstConstraint
Class   		Name:  
  		Name: length
 
Details:
 
SynchronizationConstraint
Class   		Name:  
  		Name: tolerance
Default: infinity
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
PeriodicConstraint Class Weak From  
StrongSynchronizationConstraint Class Strong To  
ReactionConstraint Class Weak From  
InputSynchronizationConstraint Class Strong To  
RepetitionConstraint Class Weak From  
SporadicConstraint Class Weak From  
SporadicConstraint Class Weak From  
ReactionConstraint Class Weak From  
ExecutionTimeConstraint Class Strong To  
SporadicConstraint Class Weak From  
«atpMixedString» EAExpression Class Generalization To  
ExecutionTimeConstraint Class Strong To  
StrongDelayConstraint Class Strong To  
OutputSynchronizationConstraint Class Strong To  
AgeConstraint Class Weak From  
BurstConstraint Class Weak From  
RepetitionConstraint Class Weak From  
PatternConstraint Class Weak From  
ArbitraryConstraint Class Weak From  
StrongDelayConstraint Class Strong To  
PatternConstraint Class Strong From  
PeriodicConstraint Class Weak From  
ArbitraryConstraint Class Weak From  
PatternConstraint Class Weak From  
SporadicConstraint Class Weak From  
AgeConstraint Class Weak From  
PatternConstraint Class Strong To  
DelayConstraint Class Weak From  
DelayConstraint Class Weak From  
RepetitionConstraint Class Weak From  
PeriodicConstraint Class Weak From  
BurstConstraint Class Weak From  
SynchronizationConstraint Class Weak From