期刊文献+

信息—物理融合系统中建模方法综述 被引量:8

Survey of modeling methods in cyber-physical system
下载PDF
导出
摘要 信息—物理融合系统(CPS)不仅包含离散的计算过程、网络通信,还涉及处理连续的物理事件。从CPS所涉及的离散系统和连续系统2个方面出发,分别介绍了当前存在的一些建模理论及基于该理论的开发工具,并概括总结了它们在CPS领域的应用。对CPS亟需解决的问题做了简单介绍,并在此基础上提出了解决CPS建模问题可能存在的4种可行的方法,为CPS建模研究者提供参考。 Cyber-physical system(CPS) not only contains the discrete calculation process and network communication, but also involves in the handling of continuous physical events. Based on discrete system and continuous system, some existing modeling theories and development tools were introduced, and their applications in CPS were summarized, and a brief introduction on how to solve the problem was given. Finally, on the basis of the difficulty to be solved in CPS, four practical ways for researchers were put forward to solve the CPS modeling problem.
出处 《通信学报》 EI CSCD 北大核心 2016年第5期165-175,共11页 Journal on Communications
基金 国家自然科学基金资助项目(No.61173036)~~
关键词 信息—物理融合系统 建模理论 建模工具 离散系统 连续系统 cyber-physical system modeling theories model tools discrete system continuous system
  • 相关文献

参考文献51

  • 1李仁发,谢勇,李蕊,李浪.信息-物理融合系统若干关键问题综述[J].计算机研究与发展,2012,49(6):1149-1161. 被引量:73
  • 2PAUL B, RADU M. Towards a science of cyber-physical systems design[C]//Second International Conference on Cyber-Physical Sys- tems. Chicago, USA, c2011 : 99-108.
  • 3LUCA P, NIRAJ T, BRUNO S, et al. A cyber-physical systems ap- proach to energy management in data centers[C]//The 1 st ACMaEEE International Conference on Cyber-Physical Systems. Stockholm, Sweden, c2010: 168-177.
  • 4KIM G L, LI S, BPJAN N, et al. Scenario-based analysis and synthe- sis of real-time systems using uppaal[C]//The Conference on Design, Automation And Test in Europe. Dresden, Germany, c2010: 447-452.
  • 5PATRICIA D, LEE E A, ALBERTO S V. Addressing modeling chal- lenges in cyber-physical systems[R]. UC Berkeley: The Center for Hybrid and Embedded Software Systems, 2011.
  • 6何积分.信息.物理融合系统[J]_计算机学会通讯,2010,6(1):25-29.
  • 7SHA L, SATHISH G, LIU X, et al. Cyber-physical systems: a new frontier[C]//International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. China, e2008: 1-9.
  • 8杨志斌,皮磊,胡凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5):899-915. 被引量:76
  • 9GEORG G, RAY I, ANASTASAKIS K, et al. An aspect-oriented methodology for designing secure applications[J]. Information and Software Technology, 2009, 51(5): 846-864.
  • 10LEE E A. Cyber physical systems: design challengas[C]//The llth IEEE International Symposium on Object Oriented Real-Time Dis- tributed Computing (ISORC). Orlando, USA, c2008: 363-369.

二级参考文献139

  • 1陈铭松,赵建华,李宣东,郑国梁.时间自动机可达性分析中的状态空间约减技术综述[J].计算机科学,2006,33(6):1-6. 被引量:3
  • 2胡明,邓宗全,高海波,陶建国.基于ADAMS的六轮月球车动力学建模与仿真[J].哈尔滨工业大学学报,2007,39(1):28-31. 被引量:11
  • 3Fersman E,Pettersson P,Wang Y.Timed automata with asynchronous processes:Schedulability and decidability.In:Proc.of the TACAS 2002.Berlin:Springer-Verlag,2002.67-82.
  • 4Harbour MG,García JJG,Gutiérrez JCP,Moyano JMD.MAST:Modeling and analysis suite for real-time applications.In:Proc.of the 13th Euromicro Conf.on Real-Time Systems.Washington:IEEE Computer Society Press,2001.125-134.
  • 5Jürjens J.Towards development of secure systems using UMLsec.In:Proc.of the 4th Int'l Conf.on Fundamental Approaches to Software Engineering.London:Springer-Verlag,2001.187-200.
  • 6Bodeveix JP,Cavallero R,Chemouil D,Filali M,Rolland JF.A mapping from AADL to Java-RTSJ.In:Proc.of the 5th Int'l Workshop on Java Technologies for Real-Time and Embedded Systems.New York:ACM Press,2007.165-174.
  • 7Jahier E,Halbwachs N,Raymond P,Nicollin X,Lesens D.Virtual execution of AADL models via a translation into synchronous programs.In:Proc.of the 7th ACM & IEEE Int'l Conf.on Embedded Software.New York:ACM Press,2007.134-143.
  • 8Hamid I,Zalila B,Najm E,Hugues J.Automatic framework generation for hard real-time applications.Innovations in Systems and Software Engineering:A NASA Journal,2008,4(1):107-122.[doi:10.1007/s11334-008-0044-5].
  • 9Zalila B,Pautet L,Hugues J.Towards automatic middleware generation.In:Proc.of the 11th IEEE Int'l Symp.on Object-Oriented Real-Time Distributed Computing.Washington:IEEE Computer Society Press,2008.221-228.
  • 10Vergnaud T,Hugues J,Pautet L,Kordon F.PolyORB:A schizophrenic middleware to build versatile reliable distributed applications.In:Proc.of the 9th Int'l Conf.on Reliable Software Technologies Ada-Europe 2004.Berlin:Springer-Verlag,2004.106-119.

共引文献170

同被引文献81

引证文献8

二级引证文献43

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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