基于环境的信息物理系统时空需求建模方法研究

新兴的信息物理系统(CPS)蕴藏着巨大的潜在应用价值，建模CPS软件的时空需求是成功构建CPS软件从而使之得以成功应用的前提条件。根据CPS软件的特点，本研究拟从CPS软件的环境建模出发，从CPS软件的操作环境特性和约束中提取CPS软件时空需求规约。主要研究内容包括：构建具有时空属性的CPS环境本体以及具有时空属性的CPS软件环境交互本体；建立基于环境的CPS的时间需求模型和空间需求模型；整合时间需求模型和空间需求模型，建立基于环境的CPS软件的时空融合需求模型；使用轨道交通领域实际案例进行研究,验证本项目提出的需求建模方法的正确性；最后设计和开发相应的支撑工具支持CPS软件的时空需求建模和分析。

The emerging Cyber-Physical Systems(CPS) have tremendous potential applications. The spatial-temporal requirements modeling is a prerequisite for successfully constructing CPS softwares with the purpose of further successive applications. According to the characteristics of CPS, this study intends to start from the modeling of the CPS environment to extract spatial-temporal requirements specification from the operating enviroment properties and constraints. The main research topics include: constructing the CPS environment ontology with spatial and temporal properties as well as the CPS interaction ontology; modeling the timing requirements and the location requirements based on the environment; integrating timing and location requirements model to model spatial-temporal requirements on the basis of environment; using case studies from railway transportion area to verify the correctness of the modeling methods proposed in this study; and finally designing and developing tools for supporting spatial-temporal requirements modeling and analysis.