Research on Railway Interlocking Software Modeling Based on UML and Petri Net

Abstract

Abstract: A independent platform model based on unified modeling language (UML) is presented to improve the development and reuse of railway interlocking software on the heterogeneous embedded platform. UML is applied to provide static structure of the software, as well as its dynamic behavior in simple scenarios. In order to guarantee safety, Petri net is exploited to add precise and strict formal description for its complex dynamic behavior and restriction rules.

Key words: Railway interlocking software, Modeling, UML, Petri net

摘要： 在异种嵌入式平台上，采用统一建模语言UML，可为铁路联锁软件建立平台无关模型，从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性，采用了Petri网作为补充，对复杂的动态行为和约束规则，在模型中加入了精确和严格的形式化描述。

关键词: 铁路联锁软件, 建模, UML, Petri 网

CLC Number:

yangdeyi918@sohu.com

YANG Jinhui; LI Meng. Research on Railway Interlocking Software Modeling Based on UML and Petri Net[J]. Computer Engineering, 2006, 32(11): 55-57.

杨晋辉;郦萌. 基于UML和Petri网的铁路联锁软件建模[J]. 计算机工程, 2006, 32(11): 55-57.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/Y2006/V32/I11/55

[1]	CHEN Zhixu, JIN Yanxia, LU Ye, YANG Jing, LIU Yabian, SHI Zhiru. Multi-Precision Clothing Modeling Method Based on Subgraph Convolutional Neural Network [J]. Computer Engineering, 2023, 49(4): 174-181.
[2]	WANG Yubo, CHEN Lifeng, XU Weixia. Anomaly Detection Method Combining with Multi-Decoder and Two-Stage Channel Selection [J]. Computer Engineering, 2023, 49(3): 37-48.
[3]	WANG Xiaoyong, DONG Decun, OU Dongxiu. CPN Modeling and Simulation for Onboard TBTC-CBTC System Degradation Scenario [J]. Computer Engineering, 2022, 48(7): 189-198.
[4]	ZHANG Yexing, CHEN Min, PAN Qiuyu. Object Detection Method Based on Feature Channel Modeling [J]. Computer Engineering, 2022, 48(7): 264-269,299.
[5]	ZHAO Yue, WU Zhihao, ZHAO Yiji. CTR Prediction Method Based on Feature and Domain Perception [J]. Computer Engineering, 2022, 48(3): 60-68.
[6]	LI Tingting, XIE Zhenping. A New Experimental Analysis Method for Exploring the Property of Human Vision on Motion Cognition [J]. Computer Engineering, 2022, 48(11): 266-274,283.
[7]	XU Yinglei, MA Bingxian. Research on Structural Liveness Determination of Conflict-Free Petri Net [J]. Computer Engineering, 2021, 47(7): 296-300.
[8]	XU Shulin, ZHOU Guangrui, YUE Hao. Estimation of Minimum Initial Marking in Labeled Petri Nets [J]. Computer Engineering, 2021, 47(4): 285-290,297.
[9]	JIA Xunan, WEI Tingxin, QU Weiguang, GU Yanhui, ZHOU Junsheng. Study on Complex Sentence Identification and Its Relation Recognition Based on Neural Network [J]. Computer Engineering, 2021, 47(11): 54-61.
[10]	XIA Rui, QIAN Zhenjiang, LIU Wei. A Verification Method of Security Communication Protocol Based on Isabelle/HOL [J]. Computer Engineering, 2021, 47(1): 146-153.
[11]	MA Jinlin, CHEN Deguang, MA Ziping, WEI Lin. A CAPTCHA Identification Method Optimized by Petri Net [J]. Computer Engineering, 2020, 46(7): 277-285.
[12]	ZHAO Danfeng, LIU Xinyang, DAI Shuyuan, HUANG Dongmei, MEI Haibin. Research on Collaborative Integrated Process Management System for Ocean Computing Model [J]. Computer Engineering, 2020, 46(6): 230-240.
[13]	ZHANG Mohua, PENG Jianhua. Extensible Gaussian Mixture Model for Image Prior Modeling [J]. Computer Engineering, 2020, 46(4): 220-227.
[14]	HE Jun, ZHANG Yunfei, ZHANG Dehai. Automatic Combination and Detection of Data Cleaning Rule Chains Based on Petri Net [J]. Computer Engineering, 2020, 46(11): 124-131.
[15]	ZHOU Weixiang, ZHANG Wen, YANG Bo, LIU Yi, ZHANG Lin, ZHANG Yangsen. Research on Personalized Recommendation Algorithm for Microblog Users [J]. Computer Engineering, 2020, 46(10): 60-66,73.

Please choose a citation manager

Content to export