Académique Documents
Professionnel Documents
Culture Documents
14
2M
16
Route
Indication
Route to
Route
Number
Signal
Points Locked
Normal
Signals
Reverse
Normal
322
312
25
27
Reverse
Requires
Route
Holding
Maintained by
tracks occ
14AT 27BT
14AT
14AT 27BT
or Until
Tracks
occ
27BT
for Time
secs
60
Tracks
Clear
14AT
27BT
27AT
Occ
(XML)
as
our
interchange
format.
Track Layout
Editor
Track Layout
Control Table
Genarator
Route Table
Generated Control
Table
Control Table
Editor
Signalling
principles
Train movement
rules
Completed
Control Table
Control Table
Verifier
CT Semantics
Verification report
Validate
points set
p101 N, p102
N
p101 R
p101 N
p102 R
p102 N
s4
4A
s1
s7
p101
4B
1A
1C
1D
1B
s2
s6
1E
1F
p102
10A
s10
B
10
s8
r1(1m) s1
s7
points routes
locked locked
1A, 1B, p101 N
1C, 1D, p102 N
1E, 1F
holding
tracks
1A, 1B
1A, 1B,
1C, 1D,
1E
r6(1m) 1A, 1B,
1C
r10(2m) 1A, 1B,
1C, 1D,
1E, 1F
r10(1m) 1A, 1B,
1C, 1D,
1E, 1F
OF
SIGNALLING
to
specifications
of
braking
and
overlap
consider
5.1,
Train
[6]
[7]
[8]
[9]
[2]
[3]
[4]
[5]