节点文献

嵌入式系统软件体系结构动态建模及应用研究

Dynamic modeling and application research of embedded system software architecture

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

【作者】 郭荣佐； 郭进； 王霖；

【Author】 GUO Rong-zuo1,2,GUO Jin1,WANG Lin2,3(1.School of Information Science and Technology,Southwest Jiaotong University,Chengdu Sichuan 610031,China;2.Department of Electronic Information and Electrical Engineering,Chengdu Textile College,Chengdu Sichuan 611731,China;3.School of Computer Science and Engineering,University of Electric Science and Technology of China,Chengdu Sichuan 610054,China)

【机构】 西南交通大学信息科学与技术学院； 成都纺织高等专科学校电子信息与电气工程系； 电子科技大学计算机科学与工程学院；

【摘要】 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。

【Abstract】 Applyingπ-calculus methods and combing the Object-oriented Petri Nets(OPN) and Time Petri Nets(TPN) of the Petri nets theories,embedded-systems software-architecture abstract model(ESAM)was established.And then,dynamic evolving,uniformity and deadlock of the ESAM model were researched.Last,the developed model was used to model and analyze the signal interlocking controller of railway station.

【关键词】 π演算； Petri网； 嵌入式系统； 软件体系结构；
【Key words】 π-calculus； Petri net； embedded system； software architecture；
【基金】 国家自然科学基金资助项目(60673075);四川省教育厅自然科学基金资助项目(07ZB005)
  • 【文献出处】 计算机应用 ,Journal of Computer Applications , 编辑部邮箱 ,2009年04期
  • 【分类号】TP311.52
  • 【被引频次】8
  • 【下载频次】238
打印本页
节点文献中：