33、混合 ERTMS/ETCS 3 级系统建模研究

混合 ERTMS/ETCS 3 级系统建模研究

1. 系统建模基础

在对系统进行建模时，需要考虑列车的生成与运行情况，以及轨道侧进程的操作。
- 列车生成与运行 ：系统最多可生成 2 列新列车。列车运行时，若只占用一个虚拟安全段（VSS），可选择将前端移动到下一个 VSS（从而占用两个 VSS）或整体移动到下一个 VSS，移动类型为非确定性选择；若列车跨越两个 VSS，可将列车尾部移动到包含前端的 VSS；列车到达任务结束点（EoM）或建模部分的终点时消失；列车也可选择不移动，模拟在同一 VSS 内移动的情况；连接的列车可断开连接，反之亦然；若系统中目前只有一列列车，该列车还可分裂成两列列车。此外，列车在每一步可选择报告或不报告，报告内容始终包含列车位置信息，可能包含也可能不包含完整性信息。
- 轨道侧进程操作 ：
1. 非确定性地设置定时器的启动和过期时间。
2. 根据案例研究文档的规则更新 VSS 的状态。
3. 将列车的移动授权终点（EoMA）更新到第一个空闲的 VSS。

2. 模型抽象

为了简化模型，使其更易于理解和维护，同时便于验证工具处理，对案例研究要求进行了以下抽象：
|抽象内容|具体说明|
| ---- | ---- |
|列车长度|不明确建模列车长度，假设列车可适配一个 VSS，在行驶过程中最多跨越两个 VSS，依据规范文档及场景仅考虑这些列车长度。|
|列车数量|场景中最多报告两列列车，假设这种情况足以涵盖更多列车的情况，受规范文档启发并为减小模型状态空间。|
|列车行为|假设列车一