Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 11. openETCS Simulation<br />
Thus, the service brake s k must be applied until the<br />
speed v is smaller than the hard limit v SR,max,int : s k ><br />
0 ∨ v ≤ v SR,max,int<br />
Sending_stop_if_in_SR_telegram<br />
Entering_Trip<br />
Isolating_ETCS<br />
Entering_Isolated<br />
A “Stop if in Staff R<strong>es</strong>ponsible” packet from Subsection<br />
10.4.4 is sent to the train, which should trigger<br />
a transition to the Trip Mode in the EVC to t<strong>es</strong>t the<br />
additional functionality of the EVC in Staff R<strong>es</strong>ponsible.<br />
After giving the EVC some time to react, the switch<br />
to Trip is propagated to the parent state machine by<br />
the local signal bStopIfSRReceived = TRUE.<br />
This state is only entered if the stat<strong>es</strong> “Stopping_-<br />
in_Trip” and “Stopped_in_Post_Trip” in the parent<br />
state machine in Figure 11.12 were executed before.<br />
This is indicated by the bWasInPT == TRUE conjunction<br />
in the corr<strong>es</strong>ponding transition guard.<br />
The train is stopped and the EVC is isolated from the<br />
train via the DMI “Isolate ETCS” input field.<br />
All state machin<strong>es</strong> are informed by the global signal<br />
bIsolatedByDMI = TRUE that the EVC was isolated.<br />
11.3.3.3. Stopped_in_Post_Trip<br />
According to the model in Subsection 10.2.6, the ETCS Mode Post Trip (in Application Level 1)<br />
is entered after the train was completely stopped in Trip and this is acknowledged by the<br />
driver via the DMI. In Post Trip itself, the emergency brak<strong>es</strong> should not be applied and any<br />
forward movement of the train must be inhibited by the service brak<strong>es</strong> (see Subsection 10.2.7).<br />
Furthermore, the reverse movement about a constance distance 4 is allowed. The simulation<br />
model for t<strong>es</strong>ting th<strong>es</strong>e ATP functionaliti<strong>es</strong> is sketched in Figure 11.15. The executed simulation<br />
is explained for each state in detail in the following:<br />
Moving_forward<br />
Moving_in_reverse<br />
The train speed is set to v = 10 km h<br />
, which simulat<strong>es</strong> a slow forward<br />
movement. Accordingly, the service brak<strong>es</strong> should be applied (s k ><br />
0) until the train is again fully stopped (v ! = 0). This is checked by<br />
an assert statement.<br />
The train speed is set to v = −30 km h<br />
, which means a slow backward<br />
movement. This is allowed until the distance d rev = 150m is<br />
overpassed. Then, the backward movement should be also inhibited<br />
by the service brak<strong>es</strong> until the train fully stops.<br />
4 national value<br />
232