期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

嵌入式系统软件体系结构动态建模及应用研究 被引量：5

Dynamic modeling and application research of embedded system software architecture
下载PDF
导出
摘要 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。 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.
作者 郭荣佐 郭进 王霖
机构地区 西南交通大学信息科学与技术学院 成都纺织高等专科学校电子信息与电气工程系 电子科技大学计算机科学与工程学院
出处 《计算机应用》 CSCD 北大核心 2009年第4期1143-1146,1158,共5页 journal of Computer Applications
基金 国家自然科学基金资助项目(60673075) 四川省教育厅自然科学基金资助项目(07ZB005)
关键词 Π演算 PETRI网 嵌入式系统 软件体系结构 π-calculus： Petri net embedded system software architecture
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1MILNER R, PARROW J, WALKER D. A calculus of mobile processes[ J]. Journal of Information and Computation, 1992, 100 (1):1-40.
  • 2MILNER R. Communicating and mobile systems: The w-calculus [ M]. Cambridge: Cambridge University Press, 1999.
  • 3SANGIORGI D, WALKER D. Theπ-Calculus: A theory of mobile process[ M]. Cambridge: Cambridge University Press, 2001.
  • 4于振华,蔡远利,徐海平.π演算的Petri网语义研究[J].控制与决策,2007,22(8):864-868. 被引量：7
  • 5BENDER L P M, STEVENS M P J. Petri net modeling in embedded system design[ C]//Proceedings of the 1992 Computer Systems and Software Engineering: CompEuro'92. Hague, Netherlands: [ s. n. ], 1992:612 -617.
  • 6许可,刘连臣,吴澄.时间π演算及其弱时间互模拟分析[J].计算机集成制造系统,2006,12(4):511-515. 被引量：4

二级参考文献27

  • 1韩婷婷,陈韬略,颜锋,吕建.同步和异步π演算的表达能力研究[J].高技术通讯,2005,15(8):18-22. 被引量：1
  • 2MILNER R.Communication and concurrency[M].Upper Saddle River,NJ,USA:Prentice Hall,1989.
  • 3HOARE C.Communicating sequential processes[M].Upper Saddle River,NJ,USA:Prentice Hall,1985.
  • 4GORRIERI R,ROCCETTI M,STANCAMPIANO E.Theory of processes with durational actions[J].Theoretical Computer Science,1995,140(1):73-94.
  • 5CORRADINI F,FERRARI G L,PISTORE M.On the semantics of durational actions[J].Theoretical Computer Science,2001,269(1-2):47-82.
  • 6ACETO L,MURPHY D.Timing and causality in process algebra[J].ACTA Informatics,1996,33(4):317-350.
  • 7COLIN F,JOHN Z.An expressive real-time CCS[A].Proceedings of the Twenty-Fifth Australasian Conference on Computer Science[C].Sydney,New South Wales,Australia:Australian Computer Society,1995.365-372.
  • 8JIM D,STEVE S.A brief history of timed CSP[J].Theoretical Computer Science,1995,138(2):243-271.
  • 9MILNER R.Communicating and mobile systems:the π-calculus[M].Cambridge,U.K.:Cambridge University Press,1999.
  • 10KUMAR P R.Scheduling semiconductor manufacturing plants[J].IEEE Control System Magazines,1994,14(6):33-40.

共引文献8

同被引文献35

  • 1尹汉军.事实数据库研究[J].图书情报知识,1994,11(1):49-49. 被引量：6
  • 2曲长征,于永利,金伟,高鲁.基于ExSpect的复杂离散事件动态系统建模[J].系统仿真学报,2005,17(12):3011-3013. 被引量：14
  • 3李康顺,李元香,康立山,吴志健.一种基于输运理论的多目标演化算法[J].计算机学报,2007,30(5):796-805. 被引量：11
  • 4ERNST R,HENKEL J,BENNER T.Hardware-software cosynthesis for microcontrollers[J].IEEE Design & Test of Computers,1993,10(4):64-75.
  • 5GUPTA R K,COELHO C,de MICHELI G.Synthesis and simulation of digital systems containing interacting hardware and software components[C] // DAC'92:Proceedings of the 29th ACM/IEEE Design Automation Conference.Los Alamitos,CA:IEEE Computer Society Press,1992:225-230.
  • 6MACIEL P,BARROS E,ROSENSTIEL W.A Petri net model for hardware software codesign[J].Design Automation for Embedded Systems,1999,4(10):243-310.
  • 7LEILA S,AUGUSTO S,EDNA B.A constructive approach to hardware/software partitioning[J].Formal Methods in System Design,2004,24(1):45-90.
  • 8MILNER R,PARROW J,WALKER D.A calculus of mobile processes Pt.2[J].Journal of Information and Computation,1992,100(1):41-77.
  • 9MILNER R.Communicating and mobile systermsahe π-calculus[M].Cambridge:Cambridge University Press,1999:20-30.
  • 10SANGIORGI D,WALKER D.The π-calculus:A theory of mobile process[M].Cambridge:Cambridge University Press,2001:32-42.

引证文献5

二级引证文献20

计算机应用
2009年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部