Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Pattern<br />
R2:<br />
Event occurs each period [with jitter jitter]<br />
This pattern describes the periodic occurrence of an event such as the activation of a task. The<br />
event can be delayed by an additional jitter. This is a derived pattern from R1 such that<br />
minperiod==maxperiod.<br />
Natural Language Requirement:<br />
The diagnosis task shall be executed every 10ms and may jitter 1ms.<br />
Pattern based RSL:<br />
diagnosisTaskActivate occurs each 10ms with jitter 1ms<br />
Pattern<br />
R3:<br />
Delay between event and event within interval<br />
This pattern specifies the minimum and maximum distance between two events. The Order of the<br />
occurrences of the events is relevant here.<br />
Natural Language Requirement:<br />
The response time of the diagnosis task shall be 10ms +/- 1ms.<br />
Pattern based RSL:<br />
delay between diagTaskStart and diagTaskFinished within [9ms, 11ms]<br />
Observers for iterative interpretation with open and closed intervals:<br />
e1<br />
|clk:=0<br />
idle<br />
e2 && (l