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

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

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

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