| 面向CPS系统仿真的建模方法研究与设计 |
| |
| 引用本文： | 刘 厦,王宇英,周兴社,张 凡.面向CPS系统仿真的建模方法研究与设计[J].计算机科学,2012,39(7):32-35,68. |
| |
| 作者姓名： | 刘 厦 王宇英 周兴社 张 凡 |
| |
| 作者单位： | 西北工业大学计算机学院 西安710129 |
| |
| 基金项目： | 国家863计划主题项目，西安市科技计划项目 |
| |
| 摘 要： | CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。
|
| 关 键 词： | CPS仿真建模 物理实体 计算实体 行为模型 面向时间的状态精化 |
Research and Design for the Modeling of Simulation of CPS |
| |
| LIU Sha
,
WANG Yu-ying
,
ZHOU Xing-she
,
ZHANG Fan.Research and Design for the Modeling of Simulation of CPS[J].Computer Science,2012,39(7):32-35,68. |
| |
| Authors: | LIU Sha WANG Yu-ying ZHOU Xing-she ZHANG Fan |
| |
| Affiliation: | (College of Computer,Northwestern Polytechnic University,Xi’an 710129,China) |
| |
| 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. |
| |
| Keywords: | Simulation and modeling of CPS Physical entity Computation entity Behavioral model Dime oriented state refinement |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
