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

doi:10.3778/j.issn.1002-8331.2010.02.063

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (2): 213-217.DOI: 10.3778/j.issn.1002-8331.2010.02.063

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

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

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

收稿日期:2008-10-22 修回日期:2009-01-06 出版日期:2010-01-11 发布日期:2010-01-11
通讯作者: 郭荣佐

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

摘要/Abstract

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

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

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

中图分类号:

TP391

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

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]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[4]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[5]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[6]	郭林，孙青林，陈赛，陈增强，贾洪琛. 基于实时多任务操作系统的动力翼伞系统设计[J]. 计算机工程与应用, 2019, 55(16): 227-234.
[7]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[8]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[9]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[10]	潘杰1，渡边政彦2，周宽久1，梁浩然1，崔凯1. 嵌入式软件形式化建模方法[J]. 计算机工程与应用, 2018, 54(8): 61-71.
[11]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[12]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[13]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[14]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[15]	赵波1，2，李二辉1，2，马骏1，2，黄宇晴1，2. 基于USB Key的安全增强密钥生成方案[J]. 计算机工程与应用, 2018, 54(10): 135-142.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics