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

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

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

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