铁路计算机应用
鐵路計算機應用
철로계산궤응용
RAILWAY COMPUTER APPLICATION
2015年
5期
53-56,60
,共5页
CBTC%联锁表逻辑%CSP
CBTC%聯鎖錶邏輯%CSP
CBTC%련쇄표라집%CSP
Communication Based Train Control(CBTC)%interlock table logic%Communicating Sequential Processes(CSP)
联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法.首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模.依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性.最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性.
聯鎖錶是聯鎖安全邏輯的體現,本文針對聯鎖錶數據的安全邏輯驗證問題,提齣一種基于CSP的驗證方法.首先對聯鎖錶數據進行建模,將聯鎖錶數據抽象為調度員、道岔、信號機、區段和聯鎖控製器5箇進程的併髮組閤模型,併對各進程進行建模.依據聯鎖繫統安全約束條件,從功能性和安全性兩箇方麵,通過對模型正確性的驗證來說明數據的安全邏輯正確性.最後以北京地鐵亦莊站聯鎖錶數據的安全邏輯驗證為例,說明該方法的可行性.
련쇄표시련쇄안전라집적체현,본문침대련쇄표수거적안전라집험증문제,제출일충기우CSP적험증방법.수선대련쇄표수거진행건모,장련쇄표수거추상위조도원、도차、신호궤、구단화련쇄공제기5개진정적병발조합모형,병대각진정진행건모.의거련쇄계통안전약속조건,종공능성화안전성량개방면,통과대모형정학성적험증래설명수거적안전라집정학성.최후이북경지철역장참련쇄표수거적안전라집험증위례,설명해방법적가행성.
