Research on dynamic modeling of software architecture of embedded interlocking-signal controller

doi:10.3778/j.issn.1002-8331.2010.02.063

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (2): 213-217.DOI: 10.3778/j.issn.1002-8331.2010.02.063

• 工程与应用 • Previous Articles Next Articles

Research on dynamic modeling of software architecture of embedded interlocking-signal controller

GUO Rong-zuo^1，2，HUANG Jun³，WANG Lin²

1.School of Information Science & Technology，Southwest Jiaotong University，Chengdu 610031，China
2.Department of Electron Information & Electrical Engineering，Chengdu Textile College，Chengdu 611731，China
3.Department of Fundamental Education，Sichuan Technology and Business College，Chengdu 611830，China

Received:2008-10-22 Revised:2009-01-06 Online:2010-01-11 Published:2010-01-11
Contact: GUO Rong-zuo

嵌入式联锁控制器软件体系结构动态建模研究

郭荣佐^1，2，黄君³，王霖²

1.西南交通大学信息科学与技术学院，成都 610031
2.成都纺织高等专科学校电子信息与电气工程系，成都 611731
3.四川工商职业技术学院基础教学部，成都 611830

通讯作者: 郭荣佐

Abstract

Abstract: Using π-calculus and Petri nets relevant theories，an abstract model of software architecture of the embedded interlocking signal controller（ISAM Model） is established And then，it is researched on dynamic evolving，uniformity and deadlock of the ISAM model.At last，the developed model is used to analyze software system of the interlocking controller of signal the railway station.

Key words: π-calculus, Petri net, embedded system, interlocking signal, software architecture

摘要： 首先应用π演算和Petri网的相关理论，建立了嵌入式联锁控制器软件体系结构抽象模型ISAM；然后对ISAM模型的动态演化、一致性和死锁进行了深入研究；最后应用ISAM抽象模型，对嵌入式联锁控制器软件系统进行分析。

关键词: π演算, Petri网, 嵌入式系统, 信号联锁, 软件体系结构

CLC Number:

TP391

GUO Rong-zuo^1，2，HUANG Jun³，WANG Lin². Research on dynamic modeling of software architecture of embedded interlocking-signal controller[J]. Computer Engineering and Applications, 2010, 46(2): 213-217.

郭荣佐^1，2，黄君³，王霖². 嵌入式联锁控制器软件体系结构动态建模研究[J]. 计算机工程与应用, 2010, 46(2): 213-217.

[1]	NI Ming, QIAN Siyuan, YANG Shanlin. Simulation and Optimization of Recycling and Reusing Process of Wasted Smart Phones [J]. Computer Engineering and Applications, 2021, 57(5): 258-263.
[2]	LU Wenxing, WANG Hupo, WANG Binyou. Research on Tourist Diversion in Scenic Spots Based on Timed Petri Net [J]. Computer Engineering and Applications, 2020, 56(8): 241-248.
[3]	FENG Fujian. Verification Analysis for Delay Time Petri Nets [J]. Computer Engineering and Applications, 2019, 55(4): 72-78.
[4]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[5]	SONG Jian, FANG Xianwen, WANG Lili, LIU Xiangwei. Quasi Indirect Dependence Mining Method for Business Process Hide Transition [J]. Computer Engineering and Applications, 2019, 55(22): 265-270.
[6]	GUO Lin, SUN Qinglin, CHEN Sai, CHEN Zengqiang, JIA Hongchen. Design of Powered Parafoil System Based on Real-Time Multitask Operating System [J]. Computer Engineering and Applications, 2019, 55(16): 227-234.
[7]	LUO Ling. Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net [J]. Computer Engineering and Applications, 2019, 55(1): 233-240.
[8]	CAO Rui, FANG Xianwen, WANG Lili. Optimization analysis of process mining based on quasi indirect dependence [J]. Computer Engineering and Applications, 2018, 54(9): 37-41.
[9]	LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2. Design of deadlock supervisor of partially controllable Petri nets [J]. Computer Engineering and Applications, 2018, 54(8): 48-54.
[10]	PAN Jie1, WATANABE Masahiko2, ZHOU Kuanjiu1, LIANG Haoran1, CUI Kai1. Formal modeling approach for embedded software [J]. Computer Engineering and Applications, 2018, 54(8): 61-71.
[11]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[12]	JIANG Jieqi, YANG Geng, LI Peng. Analysis of users’ behavior under cloud computing environment [J]. Computer Engineering and Applications, 2018, 54(14): 127-132.
[13]	WANG Liewei, WU Shuo, HU Junhua. Modelling and comparisons of traffic intersections based on Petri nets [J]. Computer Engineering and Applications, 2018, 54(14): 211-216.
[14]	ZHANG Jing, WANG Liang, FAN Hongbo. Modeling and analysis of CPS physical entity spatio-temporal state [J]. Computer Engineering and Applications, 2018, 54(14): 41-44.
[15]	ZHAO Bo1，2, LI Erhui1，2, MA Jun1，2, HUANG Yuqing1，2. Security-enhanced key generation scheme based on USB Key [J]. Computer Engineering and Applications, 2018, 54(10): 135-142.

Research on dynamic modeling of software architecture of embedded interlocking-signal controller

嵌入式联锁控制器软件体系结构动态建模研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics