Verification of computer interlocking route module by Petri net based on UML modeling
-
摘要: 对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性。Abstract: Route module is one of the important parts in railway station computer interlocking software, it can be modeled by using UML. For disadvantages that UML is lack of precise semantics, lack of model analysis and validation methods, Petri net, which has strict theoretical analysis method, was used to formal verifying for the module, ensure the accuracy and security of the module.
-
Keywords:
- station interlocking /
- UML /
- Petri net /
- modeling
-
-
[1] 林瑜筠, 吕永昌. 计算机联锁[M]. 北京:中国铁道出版社,2013. [2] 韦启盟. 计算机联锁软件仿真测试系统的研究与实现[D].成都:西南交通大学, 2008. [3] Grady Booch, James Rumbaugh, Ivar Jacobson. UML 用户指南[M] . 邵维忠,译. 北京:人民邮电出版社, 2013. [4] Peterson J L. Petri Net Theory and the Modelling of Systems[M]. Prentice Hall, 1981. [5] 杨 扬. 车站信号控制系统[M]. 成都:西南交通大学出版社,2012. [6] 周长红. UML 图的Petri 网建模[D]. 济南:山东科技大学,2004. [7] 杨 扬, 潘 明, 何梅芳. 联锁软件的Petri 网形式化定义[J].北京:中国铁道科学, 2002, 23(3): 49-54. [8] Mustafa S.Durmus, Ugur Yildirim, Mehmet T.Soylemez. Automatic Generation of Petri Net Supervisors for Railway Interlocking Design[C]. Australian Control Conference, 2012. -
期刊类型引用(15)
1. 宋政雨,陈沛,石良,左大杰,陈韬. 中老铁路口岸站跨境旅客通关流线优化研究. 铁道运输与经济. 2025(04): 162-174 . 百度学术
2. 侯科科,赵金宝,赵胜利. 基于Anylogic的城市轨道交通客流仿真优化. 山东理工大学学报(自然科学版). 2024(03): 35-41 . 百度学术
3. 唐子媛,杨子轩,陈驿顺,朱杰,胡军红. 基于AnyLogic的地铁枢纽站疏散动态标识研究. 交通工程. 2024(03): 57-61+69 . 百度学术
4. 张浩岩,张培,沙峻林. 基于AnyLogic的地铁站乘客进站仿真分析. 人民公交. 2024(14): 125-127 . 百度学术
5. 李欢. 基于AnyLogic的地铁换乘站客流组织仿真与优化. 微型电脑应用. 2024(10): 51-53+57 . 百度学术
6. 刘尔辉,谭明基,崔丽娜,夏荷香. 基于Anylogic仿真和改进社会力模型的地铁站外安检区设计指标研究. 交通与运输. 2023(01): 8-13 . 百度学术
7. 李帅,刘斌,李可,关霖兴. 高铁枢纽站设施设备布局研究. 铁道运营技术. 2023(02): 4-8 . 百度学术
8. 高建. 西安地铁T型换乘站“空间-流量”效能匹配性优化分析. 城市轨道交通研究. 2023(07): 118-123 . 百度学术
9. 何佳原,胡致远,臧佳钰,林颖馨,陈子豪. 成都大运会期间地铁站大客流预测及仿真优化. 综合运输. 2023(07): 109-115 . 百度学术
10. 段力伟,张开萍,符喋洁. 考虑社交距离的城轨换乘站行人运动仿真分析. 电子设计工程. 2023(17): 23-29 . 百度学术
11. 唐水雄,郭梦倩,唐金金,张涛,赵利强. 基于双优化流线的城轨车站客流仿真系统设计与实现. 铁路计算机应用. 2022(01): 87-93 . 本站查看
12. 李可,刘斌,李帅. 基于排队论的地铁车站设备布局优化研究. 系统仿真技术. 2022(03): 168-174 . 百度学术
13. 段井松,房霄虹. 基于客流仿真的太原地铁下元站换乘方案设计. 交通与运输. 2021(04): 43-47 . 百度学术
14. 王京元,周婷婷,彭劲稳. 高铁客流换乘城市轨道交通仿真评价——基于Anylogic的建模技巧及实现. 交通科技与经济. 2021(05): 14-22 . 百度学术
15. 莫俊泓,石红国. 基于仿真的珠江新城站改造前后客流组织分析. 综合运输. 2021(12): 119-126 . 百度学术
其他类型引用(18)
计量
- 文章访问数: 116
- HTML全文浏览量: 1
- PDF下载量: 40
- 被引次数: 33