RepetitionConstraint : public class
Created: |
2011-06-22 11:06:09 |
Modified: |
2012-07-09 10:43:08 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{E06C0C79-AB38-4696-84EA-C84729F71F34} |
Appears In: |
TimingConstraints1 |
<p>A RepetitionConstraint describes the distribution of the occurrences of a single event, including the allowance for jitter.<br/></p><p><br/></p><p>The RepetitionConstraint extends the basic notion of repeated occurrences by allowing local devitions from the ideal repetitive pattern described by a RepeatConstraint. Its jitter, lower and upper attributes all contribute to the width of the window in which occurrence number N is accepted, according to the formula N(upper-lower) + jitter. That is, with lower = upper, the uncertainty of where occurrence N may be found does not grow with an increasing N, unlike the case when lower differs from upper by a similar amount and jitter is 0. By adjusting all three attributes, a desired balance between accumulating and non-accumulating uncertainties can be obtained.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A system behavior satisfies a RepetitionConstraint c if and only if<br/></p><p>the same system behavior concurrently satisfies<br/></p><p><br/></p><p>RepeatConstraint { event = X,<br/></p><p>lower = c.lower,<br/></p><p>upper = c.upper,<br/></p><p>span = c.span }<br/></p><p><br/></p><p>and<br/></p><p><br/></p><p>StrongDelayConstraint { source = X,<br/></p><p>target = c.event,<br/></p><p>lower = 0,<br/></p><p>upper = c.jitter }<br/></p>
- Attributes
- Associations To
- Other Links
Attribute |
Details |
public Integer span |
Initial: 1 |