1、CTCS-3級列控系統(tǒng)是我國在引進(jìn)國外新技術(shù)并不斷消化吸收再創(chuàng)新的情況下,研發(fā)出的適合本國國情的列控系統(tǒng)。目前我國鐵路正大力應(yīng)用和研究該系統(tǒng),它極大地提高了鐵路運(yùn)輸?shù)目煽啃浴踩?。但是根?jù)我國鐵路的基本國情,列控系統(tǒng)仍然需要不斷完善與研究,而需求規(guī)范是系統(tǒng)開發(fā)的起點(diǎn)與基礎(chǔ),必須對列控系統(tǒng)規(guī)范進(jìn)行嚴(yán)格的分析驗(yàn)證,消除規(guī)范的歧義性才能使列控系統(tǒng)朝著更安全更可靠的方向發(fā)展。
　　 行車許可生成管理是RBC的主要功能之一,RBC根據(jù)不

2、同的運(yùn)營場景計(jì)算不同的行車許可并發(fā)送給列車,列車按照行車許可命令安全控車。因此根據(jù)需求規(guī)范分析行車許可的生成對列控系統(tǒng)的安全高效運(yùn)行具有重要意義。
　　 本文針對上述問題,首先,基于行車許可不同的功能需求設(shè)計(jì)不同的應(yīng)用層模塊;其次,研究不同運(yùn)營場景下的行車許可生成過程;最后,根據(jù)CTCS-3級列控系統(tǒng)行車許可的生成機(jī)制,設(shè)計(jì)了一種基于著色Petri網(wǎng)理論的行車許可生成模型,運(yùn)用CPN-Tools仿真工具動態(tài)仿真了CTCS-3級列

3、控系統(tǒng)不同運(yùn)營場景下的行車許可生成過程,觀察列車運(yùn)行過程中的通信機(jī)制及信息傳輸,并通過狀態(tài)空間分析法和性能分析法分析了模型的一些屬性及時間因素對行車許可生成的影響。
　　 仿真結(jié)果表明,所建立的模型符合設(shè)計(jì)的要求,能夠在不同的運(yùn)營場景下完成相應(yīng)的MA計(jì)算;通過生成的狀態(tài)空間報告圖分析驗(yàn)證系統(tǒng)的一些屬性都符合列控系統(tǒng)的規(guī)范要求;最后加入?yún)?shù)對設(shè)計(jì)的模型進(jìn)行優(yōu)化,得出系統(tǒng)最合理的延遲范圍。為行車許可模塊的設(shè)計(jì)提供一種規(guī)范的正確的軟件