Architecture Modeling - SPES 2020

If the brake force is above 80% for more than 500ms full braking shall be initiated during
100ms.
Pattern based RSL:
whenever (brakeForce > 80) holds during [0s,500ms] occurs
InitiateFullBraking occurs during [0s, 100ms]
Because this pattern is a combination of F1 and a sub automaton that converts the “holds during”
construct into an event, only the sub automaton is given here. This automaton is started by
localTmpPin0 and emits localTmpPin1 that is used by the corresponding F1 automaton.
Sub automata(for iterative interpretation):
idle
idle
out
localTmpPin0
!(c)
in
whenever (c) holds during [e1,e2] occurs action occurs during [e3,e4].
localTmpPin0
e1
!(c)
|clk:=0
e1 && (clk==0) sIn e1 && (clk>0)
e2
|localTmpPin1:=true
out
e2
|localTmpPin1:=true
!(c)
|clk:=0
e1
|clk:=0
!(c) && (clk>0)
whenever (c) holds during ]e1,e2] occurs action occurs during [e3,e4].
Definition of semantics with attributes flowing and once:
Not supported in this version
!(c) && (clk==0)
6.1.1.2 Probability
There are two patterns concerning probabilities. One of those is to describe the availability of a
component and the other to specify the number of events in an interval.
Pattern
P1:
Architecture Modeling
availability of component shall be comparator p
The Probability of a component to work correctly at any given time shall be “>”,”” and “>=” make sense.
in
129/ 156