在CTCS-3級列控系統(tǒng)中,為了保證C2級向C3級場景轉換的過程中列控系統(tǒng)實時性和安全性,采用統(tǒng)一建模語言（UML）活動圖和分層賦時有色Petri網Hierarchical Timed Colored Petri Net（HTCPN）對等級轉換過程進行建模。利用UML活動圖對C2級向C3級轉換過程中車載設備、GSM-R網絡、無線閉塞中心（RBC）之間信息流的傳遞過程進行建模,再從UML活動圖中提取節(jié)點信息轉換成HTCPN模型進行動態(tài)驗證。通過對模型提取的數據仿真,分析列車行車速度和消息重發(fā)時間間隔對等級轉換場景轉換成功率的影響,驗證模型的有效性。在CTCS-2級控車模式下,以頂棚速度（250 km/h）進行場景等級轉換,轉換成功率提高了0.2%。 

【文章來源】：計算機應用與軟件. 2020,37(06)北大核心

【文章頁數】：7 頁

【文章目錄】：
0 引 言
1 列控系統(tǒng)等級轉換場景分析
    1.1 列車系統(tǒng)等級轉換
    1.2 C2級向C3級轉換過程分析
2 C2向C3等級轉換的UML模型
    2.1 等級轉換的UML活動圖
    2.2 UML活動圖擴展中間模型
    2.3 UML活動節(jié)點到CPN的轉換
        (1) Simple節(jié)點的映射。
        (2) Arrival節(jié)點的映射。
        (3) Resource節(jié)點的映射。
        (4) Opt節(jié)點的映射。
3 等級轉換的HTCPN模型及驗證
    3.1 分層賦時有色Petri網
    3.2 等級轉換HTCPN頂層模型
    3.3 等級轉換HTCPN子頁模型
4 C2級向C3級系統(tǒng)等級轉換性能分析
    4.1 速度對等級轉換的影響
    4.2 消息重發(fā)時間間隔對等級轉換的影響
5 結 語


【參考文獻】：
期刊論文
[1]基于有色Petri網的網絡安全態(tài)勢感知模型構建及分析[J]. 惠馨雅,劉建華,劉浩.  計算機與數字工程. 2019(02)
[2]CTCS-3級列控系統(tǒng)等級轉換場景功能安全分析[J]. 盛昭君,米根鎖.  控制工程. 2019(02)
[3]基于UML建模XML模式[J]. 紀斌,吳家菊,馬永起,周本金,謝永輝.  計算機工程與設計. 2019(01)
[4]基于有色Petri網的測試案例生成方法及其在CTCS-3車地通信中的應用[J]. 趙天時.  北京交通大學學報. 2018(06)
[5]基于UML的裝甲裝備IETM建模[J]. 王國輝,趙鐵軍.  計算機應用與軟件. 2018(08)
[6]采用有色Petri網的等級轉換場景概念建模[J]. 宋麗梅,朱愛紅,馬欣宇.  華僑大學學報(自然科學版). 2018(04)
[7]基于HUML擴展機制描述列控系統(tǒng)安全特性的研究[J]. 劉磊.  鐵道標準設計. 2018(12)
[8]基于HUML的列控系統(tǒng)形式化建模與參數分析方法[J]. 趙曉宇,程瑞軍,程雨,馬小平.  鐵道學報. 2016(11)
[9]基于CPN的等級轉換場景建模分析[J]. 王瑞峰,李媛,程金山.  計算機工程與應用. 2015(10)
[10]基于有色Petri網的CTCS-3級列控系統(tǒng)RBC切換的建模與形式化分析[J]. 張友兵,唐濤.  鐵道學報. 2012(07)

碩士論文
[1]基于UML活動圖模型的測試用例自動生成方法的研究及實現[D]. 孫瑤.北京交通大學 2018



本文編號：3173103