期刊文献+

基于动态行为建模的CPS计算实体建模方法 被引量:9

Modeling Computation Entity of CPS Based on Dynamic Behavior
原文传递
导出
摘要 信息物理融合系统(Cyber-Physical System,CPS)自给出以来就备受关注。一个CPS系统设计的好坏关键取决于其设计前期的系统模型的创建。如何对一个CPS系统进行全方位、健壮性、安全性的建模是国内外研究的焦点和难点。在前人的基础之上,把CPS系统分为物理实体、计算实体和控制实体,给出了一种CPS系统计算实体的建模方法:基于动态行为建模的UML建模方法 DBM UML(Dynamic behavior modeling-UML),对整个系统的结构进行详细的分析,将其对应的状态机抽象出来,先通过状态机的动态行为建模对系统进行模型化,再通过UML建模语言对整个系统计算实体进行详细化建模,把系统的逻辑关系和反馈机制等详尽的表现出来,完成系统的计算实体建模。 The Cyber-Physical System(CPS) has been highly concerned since it was proposed. However, the key of creating a good CPS system critically depends on the prophase design of the system model. Currently, it has become the focus and difficulty of research at home and abroad that models a CPS system with comprehensive, robustness, security. According to the previous studies, the CPS system was divided into computing entity, physical entity and control entity. A modeling method of computation entity of CPS was provided, which is DBM-UML(Dynamic behavior modeling-UML). With this method, an analysis of the entire system's structure was given firstly and the corresponding state machine was abstracted. In another word, the system was modeled firstly by the dynamic behavior modeling of the state machine. Then the detailed modeling of the computation entity of the system by the UML modeling language was proposed. The logical relationship and feedback mechanism of the system were proposed and the system was modeled better.
出处 《系统仿真学报》 CAS CSCD 北大核心 2016年第5期1003-1008,1016,共7页 Journal of System Simulation
基金 国家自然科学基金(61170066)
关键词 信息物理融合 UML 动态行为建模 状态机 CPS UML dynamic behavior modeling state machine
  • 相关文献

参考文献6

二级参考文献75

  • 1Tan Ying, Goddard S. A Prototype Architecture for Cyber Physical Systems[J]. SIGBED Review, 2008.
  • 2Tan Ying, Vuran M C, Goddard S. Spatio-Temporal Event Model for Cyber-Physical Systems[C] //Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops. 2009 : 44-50.
  • 3Kim J E, Mosse D. Generic Framework for Design, Modeling and Simulation of Cyber Physical Systems[C]//Position Paper for NSF Workshop on Cyber-Physical Systems. 2006.
  • 4Williams R D, Dugn J B. Cyber-Physieal Systems: Timing is(almost) everything[C] ff Position Paper for NSF Workshop on Cyber-Physical Systems. 2006.
  • 5Akella R, McMillin B M. Model-checking BNDC propertiesin Cyber-physieal systems[C]//Proceedings of International Computer Software and Applications Conference. 2009:660-663.
  • 6Gaddam N, Kumar G S A, Somani A K. Securing Physical Processes Against Cyber Attacks in Cyber-Physical Systems[C]//Position Paper for NSF Workshop on Cyber-PhysicalSystems.
  • 7Woo H, Yi Jian-liang. A Simulation Framework for PSoC Based Cyber Physical Systems[C]//Proceedings of International Conference on Distributed Computing Systems. 2008:525-528.
  • 8Lui Sha, Sathish G, Xue Liu, et al. Cyber physical systems.. A new frontier [C]///Proceedings of IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. 2008 : 1-9.
  • 9Noble B D, Flinn J. Wireless, Self-organizing Cyber-Physical Systems['C] ff Position Paper for NSF Workshop on Cyber- Physical Systems. 2006.
  • 10Huang Ching-ling, Raja S, Hariharan K. Design of Cooperative Vehicle Safety Systems Based on Tight Coupling of Communication, Computing and Physical Vehicle Dynamics[C] ff Proceedings of the 1st ACM/IEEE International Conference on Cyber- Physical Systems. 2010:159-167.

共引文献114

同被引文献85

引证文献9

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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