节点文献

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

Research on dynamic modeling of software architecture of embedded interlock-ing-signal controller

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 GUO Rong-zuo1,2,HUANG Jun3,WANG Lin2 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

【机构】西南交通大学信息科学与技术学院；成都纺织高等专科学校电子信息与电气工程系；四川工商职业技术学院基础教学部；

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

【Abstract】 Using π-calculus and Petri nets relevant theories,an abstract model of software architecture of the embedded interlocking signal controlle(rISAM 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.更多还原

【关键词】 π演算； Petri网；嵌入式系统；信号联锁；软件体系结构；
【Key words】 π-calculus； Petri net； embedded system； interlocking signal； software architecture；

【基金】四川省教育厅自然科学基金(No.07ZB005)

【文献出处】计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2010年02期

【分类号】TP311.52
【被引频次】2
【下载频次】80

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献