ERTMS
The ERTMS is ... . Its description is available in the paper. The file is available here (theme here). An Alloy version is available here (theme here).
| ----- | ----- | ----- | ----- |
|
| 
| 
| 
|
|Disconnected train | Connected train not reporting | Connected train not reporting rear info | Connected train fully reporting |
|
| 
| 
| 
|
|Train with expired mute timer | Train with expired integrity timer | Actual train front position | Actual train rear position |
|
| 
| 
| 
|
|Free VSS | Occupied VSS | Ambiguous VSS | Unknown VSS |
|
| 
| 
| 
|
|VSS with expired disconnected propagation timer | VSS with expired integrity loss propagation timer | MA assigned to a train | Jumping train info |
|
| 
| 
| 
|
|Free TTD | Occupied TTD | TTD with expired shadow timer A | TTD with expired shadow timer B |
|
| 
| | |
|TTD with expired ghost propagation timer | VSSs comprising a TTD | | |
