《表6 变迁含义说明:基于UML和CPN的列控系统等级转换建模与分析》
模型中的五个变迁全为置换变迁,其中VSC Con GSM-R模拟了列车经过GSM-R网络连接应答器组至RBC连接应答器组的时间延时。当列车车头压过RE时,呼叫RBC的过程用变迁call RBC来模拟,连接时间T<10 s,若T≥10 s,则呼叫失败,列车仍以原来等级运行。另外,置换变迁position report与arrive LTA则模拟了RBC与车载设备、列车之间信息交互的过程。置换变迁arrive LTO则模拟转换为C3级的过程。各动作过程用变迁集来描述,具体含义如表6所示。
图表编号 | XD0035696900 严禁用于非法目的 |
---|---|
绘制时间 | 2019.01.01 |
作者 | 朱爱红、宋丽梅 |
绘制单位 | 兰州交通大学自动化与电气工程学院、兰州交通大学自动化与电气工程学院 |
更多格式 | 高清、无水印(增值服务) |