| 嵌入式联锁控制器软件体系结构动态建模研究 |
| |
| 引用本文： | 郭荣佐,黄君,王霖.嵌入式联锁控制器软件体系结构动态建模研究[J].计算机工程与应用,2010,46(2):213-217. |
| |
| 作者姓名： | 郭荣佐 黄君 王霖 |
| |
| 作者单位： | 1.西南交通大学 信息科学与技术学院，成都 610031 2.成都纺织高等专科学校 电子信息与电气工程系，成都 611731 3.四川工商职业技术学院 基础教学部，成都 611830 |
| |
| 基金项目： | 四川省教育厅自然科学基金(No.07ZB005) |
| |
| 摘 要： | 首先应用π演算和Petri网的相关理论，建立了嵌入式联锁控制器软件体系结构抽象模型ISAM；然后对ISAM模型的动态演化、一致性和死锁进行了深入研究；最后应用ISAM抽象模型，对嵌入式联锁控制器软件系统进行分析。
|
| 关 键 词： | π演算 Petri网 嵌入式系统 信号联锁 软件体系结构 |
| 收稿时间： | 2008-10-22 |
| 修稿时间： | 2009-1-6
|
Research on dynamic modeling of software architecture of embedded interlocking-signal controller. |
| |
| GUO Rong-zuo,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. |
| |
| Authors: | GUO Rong-zuo HUANG Jun WANG Lin |
| |
| Affiliation: | 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 |
| |
| 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. |
| |
| Keywords: | Petri net embedded system interlocking signal software architecture |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
