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

Chapter 11. openETCS Simulation
is stopped in this state by the @rttStopTest statement
because there is no transition to any other Mode or state
from here. Since the failing of any assertion executed
before would lead to a stop of the simulation, reaching this
stop statement always means a successful execution of the
simulation.
The CEVC state machine defines several possible transitions between its states, which are
often activated by signals influenced by the CDMI state machine or by sub-state machines of
CEVC. Which transitions are used in the current version of the simulation model, can be easily
identified in the simulation traces presented in Section 11.5.
Each sub-state machine of CEVC is explained in detail in the following subsections.
11.3.3.1. Moving_in_Unfitted
In the ETCS Mode Unfitted, the ATP functionality is mainly limited to the supervision of
train speed in respect to its static top speed (modelled in Subsection 10.2.3), which is entered
by the simulated driver. Thus, the simulation model for the movement in this Mode consists
of a simple sequence of states, which is displayed in Figure 11.13. Each state is explained in
detail in the following:
Moving_with_allowed_speed
The train is moving with the speed v = 100 km h , which
is lower than its static top speed v max = 200 km h
(see
Figure 11.10): v < v max
Accordingly, service or emergency brake may not be applied,
which is permanently checked by corresponding
do-actions [64].
Moving_with_warning_speed The train speed v = 1.025v max = 205 km h
exceeds the static
top speed v max but not the hard limit for brake intervention
v max,int = 1.05v max = 210 km h : v max ≤ v ≤ v max,int
Details can be found in the implementation and documentation
of the CBrakingToTargetSpeed class in Appendix D.
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 max = 220 km h
limit v max,int : v > v max,int
exceeds the hard
Thus, the service brake s k must be applied until the speed v
is smaller than the hard limit v max,int : s k > 0∨v ≤ v max,int
Entering_track_with_Level_1
A switching of the ETCS Application Level to 1 is propagated
to the EVC by a balise telegram that holds a “Level
Transition Order” packet in Subsection 10.4.3. The binary
228