研究文章
正式的建模和研究安全验证Train-to-Train沟通
|
| 行动 |
描述 |
行动 |
描述 |
|
| inichk |
自我系统初始化检查 |
sndBldTracReq |
发送建立跟踪请求消息 |
| inisysOK |
自我系统的初始化检查就可以了 |
bldTracReqTimeout |
为建立跟踪请求超时 |
| inisysBad |
自我系统的初始化检查失败 |
rcvBldTracAns |
接收建立跟踪回答消息 |
| sndReqTrain |
请求消息发送给列车 |
checkTracCond |
检查跟踪模式的条件 |
| rcvFdReqTrain |
从列车接收反馈信息 |
tracCondisOK |
跟踪条件还满意 |
| checkTrainID |
检查列车ID |
tracCondNotOK |
跟踪条件不满足 |
| rcvReqTrain |
请求消息发送给列车 |
setTracMode |
评估培训模式 |
| reqTraintimeout |
超时请求消息 |
selfFixBlock |
模式设置固定阻塞模式 |
| trainAlarm |
火车报警错误 |
selfTracingMode |
模式设置跟踪模式 |
| sndITS |
给中央的错误消息 |
sndDismissTracReq |
为解雇发送请求消息跟踪 |
| isTrainPos |
同时培训岗位 |
rcvDismissTracAns |
接收请求消息将跟踪 |
| trainisFront |
火车是在前面 |
dismissTracReqtimeout |
超时时间跟踪请求消息 |
| trainisBack |
火车后面 |
|
|
|
|
