计算机科学 ›› 2012, Vol. 39 ›› Issue (7): 32-35.

• 计算机网络与信息安全 • 上一篇    下一篇

面向CPS系统仿真的建模方法研究与设计

刘 厦,王宇英,周兴社,张 凡   

  1. (西北工业大学计算机学院 西安710129)
  • 出版日期:2018-11-16 发布日期:2018-11-16

Research and Design for the Modeling of Simulation of CPS

  • Online:2018-11-16 Published:2018-11-16

摘要: CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。

关键词: CPS仿真建模,物理实体,计算实体,行为模型,面向时间的状态精化

Abstract: The simulation and modeling of CPS are of great significance in the development of CPS-System,not only can help testing and validating in the process of building system, but also are the Model-driven development's important part. Cyber physical system can be divided into physical entity and computation entity by means of essence and refining.Physical entity can be constructed by dynamic continuous-and time-based motion-state of behavioral model and using finite statcmachine of behavioral model to carry on construct computation entity. This paper extended these two bcha vioral models through time oriented statcrefinement, and used the extended models to complete the simulation and modeling of CPS, besides, discussed the ability of using Unified Model Language to build computation entity and using Simulink/RTW tools to construct physical entity, and proposed the approach for integration of heterogeneous models at the framework of UML.

Key words: Simulation and modeling of CPS, Physical entity, Computation entity, Behavioral model, Dime oriented state refinement

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!