TimingConstraints::SporadicConstraint

Header Image
Content:
SporadicConstraint : Public Class TimingConstraints2
A SporadicConstraint describes an event that occurs sporadically.<br/><br/>The SporadicConstraint is just an application of the RepetitionConstraint with a default span attribute of 1, combined with an additional requirement that the effective minimum distance between any two occurrences must be at least the value given by minimum (even if lower-jitter would suggest a smaller value).<br/><br/>Semantics:<br/>A system behavior satisfies a SporadicConstraint c if and only if<br/>the same system behavior concurrently satisfies<br/><br/>RepetitionConstraint { event = c.event,<br/>lower = c.lower,<br/>upper = c.upper,<br/>jitter = c.jitter }<br/><br/>and<br/><br/>RepeatConstraint { event = c.event,<br/>lower = c.minimum }<br/>
  • Associations
  • Advanced
  • Other Links
Element Source Role Target Role
TimingExpression
Class  
Name:  
 
Name: upper
Default: infinity
Details:
 
TimingExpression
Class  
Name:  
 
Name: jitter
Default: 0
Details:
 
TimingExpression
Class  
Name:  
 
Name: lower
Default: 0
Details:
 
TimingExpression
Class  
Name:  
 
Name: minimum
Default: 0
Details:
 
Event
Class  
Name:  
 
Name: event
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
TimingExpression Class Weak To  
TimingExpression Class Weak To  
TimingExpression Class Weak To  
TimingConstraint Class Generalization To  
TimingExpression Class Weak To