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
Property |
Value |
isFinalSpecialization: |
0 |