Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...

Chapter 11. openETCS Simulation
telegram itself consists of 121 bits and is therefore not
printed here explicitly but can be found in the C-API of
the simulative PSM in Section H.2 of the appendix.
Waiting_for_mode_switch
Entering_Level_1
After the level transition was acknowledged by CDMI
state machine, the relative distance d trans = 1000m to the
transition point must be passed. The speed is decreased
below the static top speed because here the Level transition
and the speed supervision should not be tested in parallel:
v = 175 km h
< v max
The guard to this final state requires that 1100m instead of
d trans = 1000m were passed because the EVC is a sample
system (see Section 7.6). Therefore, it cannot be ensured
that the Level transition happens at exactly d trans and
d tol = 100m is used as tolerance value in the simulation.
This state itself only sets the global signal iLevel = 1
(from Figure 11.6) to inform all state machines about the
new ETCS Application Level.
11.3.3.2. Moving_in_Staff_Responsible
The simulated virtual track for the ETCS Mode Staff Responsible does not differ much from
the one for Unfitted in Subsection 11.3.3.1, besides that in Staff Responsible a certain value
for the top speed in this Mode is taken into account, which is normally a national value. In
this simulation, it is initialised with v SR,max = 180 km h
. The state machine model is shown in
Figure 11.14 and its states are explained below.
Moving_with_allowed_speed
The train is moving with a speed v = 100 km h
, which is
lower than the top speed in Staff Responsible v SR,max :
v < v SR,max
Service or emergency brake may not be applied in this
state.
Moving_with_warning_speed The train speed v = 1.025v SR,max = 184.5 km h
exceeds
the top speed v SR,max but not the hard limit for
brake intervention v SR,max,int = 1.05v SR,max = 189 km h :
v SR,max ≤ v ≤ v SR,max,int
In this state still no brakes may be applied, but a
warning in the “Speed Warning” DMI output field must
be displayed, which is checked by an assert statement.
Moving_with_forbidden_speed The train speed of v = 1.1v SR,max = 220 km h exceeds
the hard limit v SR,max,int : v > v max,int
230