復(fù)雜場(chǎng)景下列控系統(tǒng)功能驗(yàn)證分析.pdf

1、列車運(yùn)行控制系統(tǒng)（簡(jiǎn)稱“列控系統(tǒng)”）是保證列車安全、高效運(yùn)行的自動(dòng)化系統(tǒng)。列控系統(tǒng)具有復(fù)雜的運(yùn)營(yíng)場(chǎng)景功能以及控制模式（如CTCS-3級(jí)列控系統(tǒng)含有14個(gè)運(yùn)營(yíng)場(chǎng)景和9種控制模式），如何保證列控系統(tǒng)在復(fù)雜運(yùn)營(yíng)場(chǎng)景下（尤其是不同運(yùn)營(yíng)場(chǎng)景組合形成復(fù)雜場(chǎng)景）功能的正確性顯得尤為重要。
　　本文從場(chǎng)景分析方法入手，結(jié)合Simulink/Stateflow和時(shí)間自動(dòng)機(jī)理論，提出了一種研究復(fù)雜場(chǎng)景下列控系統(tǒng)功能正確性的驗(yàn)證方法。
　　(1)

2、首先，分析了高速鐵路CTCS-3級(jí)列控系統(tǒng)典型的運(yùn)營(yíng)場(chǎng)景功能。結(jié)合場(chǎng)景分析方法，研究了運(yùn)營(yíng)場(chǎng)景之間的關(guān)系和運(yùn)營(yíng)場(chǎng)景內(nèi)部子系統(tǒng)之間的交互流程;
　　(2)其次，研究了基于時(shí)間自動(dòng)機(jī)理論的運(yùn)營(yíng)場(chǎng)景下列控系統(tǒng)建模與驗(yàn)證方法。通過(guò)建立典型的等級(jí)轉(zhuǎn)換（CTCS-2級(jí)至CTCS-3級(jí)）和模式轉(zhuǎn)換（FS模式至OS模式）運(yùn)營(yíng)場(chǎng)景下CTCS-3級(jí)列控系統(tǒng)的時(shí)間自動(dòng)機(jī)模型，根據(jù)相關(guān)運(yùn)營(yíng)場(chǎng)景的控制時(shí)序流，分析了單一運(yùn)營(yíng)場(chǎng)景下列控系統(tǒng)功能的正確性;

3、>　　(3)再次，研究了基于Simulink/Stateflow的復(fù)雜運(yùn)營(yíng)場(chǎng)景下列控系統(tǒng)建模方法。提出了列控系統(tǒng)運(yùn)營(yíng)場(chǎng)景之間的組合規(guī)則，建立了基于Simulink/Stateflow的復(fù)雜場(chǎng)景下CTCS-3級(jí)列控系統(tǒng)仿真模型。以列控系統(tǒng)等級(jí)轉(zhuǎn)換和模式轉(zhuǎn)換疊加的復(fù)雜運(yùn)營(yíng)場(chǎng)景為例，按照等級(jí)轉(zhuǎn)換和模式轉(zhuǎn)換運(yùn)營(yíng)場(chǎng)景的組合規(guī)則，得到了列控系統(tǒng)該復(fù)雜場(chǎng)景下的交互流程，并進(jìn)行了仿真分析;
　　(4)最后，針對(duì)復(fù)雜運(yùn)營(yíng)場(chǎng)景下列控系統(tǒng)功能邏輯進(jìn)行了