期刊文献+

用分层事件关系图实现系统仿真与分析 被引量:1

System simulation and analysis using hierarchical event relationship graphs
下载PDF
导出
摘要 现有的建模语言如UML、有穷状态自动机、Petri网、DEVS等不能完全满足工业中对时间系统建模的要求,企业常须自行开发建模语言和工具,或人为加工和抽象时间系统的设计以适应已有建模手段。使用事件关系图实现分层设计可以在一定程度上解决这一问题。该方法既方便了对复杂时间系统的设计,也使自动化仿真、分析和代码生成变得简易可行。 Existing modeling languages,such as UML,finite state machine,Petri net and DEVS,cannot fully satisfy the needs of modeling timed systems in industrial practice.Enterprises are usually required to develop modeling languages and tools for their own,or to manually alter and abstract designs of timed systems to fit available modeling approaches.To a certain extent,this dilemma could be resolved by employing event relationship graphs and hierarchical designs.This method eased the design of complex timed systems,removing the obstacles of automatic simulation,analysis and code generation.
作者 冯辉宁
机构地区 甲骨文公司
出处 《计算机应用研究》 CSCD 北大核心 2010年第7期2572-2574,2578,共4页 Application Research of Computers
基金 美国自然科学基金资助项目 加州大学伯克利分校混合与嵌入式软件系统(CHESS)项目
关键词 系统设计 时间系统 建模与仿真 事件关系图 分层设计 system design timed systems modeling and simulation event relationship graph(ERG) hierarchical design
  • 相关文献

参考文献6

  • 1ALUR R,DILL D L.A theory of timed automata[J].Theoretical Computer Science,1994,126(2):183-235.
  • 2RAMCHANDANI C.Analysis of asynchronous concurrent systems by timed Petri nets[D].Cambridge:Massachusetts Institute of Technology,1974.
  • 3ZEIGLER B.Theory of modeling and simulation[M].New York:Wiley Interscience,1976.
  • 4LEE W S.Simulation modeling with event graphs[J].Communications of the ACM,1983,26(11):957-963.
  • 5FENG Hui-ning.Model transformation with hierarchical discrete-event control[D].UC Berkeley:EECS,2009.
  • 6BROOKS C,CHENG C,FENG T H,et al.Model engineering using multimodeling[C] //Proc of the 1st International Workshop on Model Co-Evolution and Consistency Management.Toulouse:[s.n.] ,2008.

同被引文献8

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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