Content:
|
PeriodicConstraint : Public Class TimingConstraints2
A PeriodicConstraint describes an event that occurs periodically.<br/><br/>Semantics:<br/>A system behavior satisfies a PeriodicConstraint c if and only if<br/>the same system behavior satisfies<br/><br/>SporadicConstraint { event = c.event,<br/>lower = c.period,<br/>upper = c.period,<br/>jitter = c.jitter,<br/>minimum = c.minimum }<br/>
|