移动信息物理融合系统的面向方面建模方法

Mobile Cyber Physical Systems(MCPS) include a lot of difficult problems such as modeling of physical world , dynamic continuous property , real-time property, spatial property, safety property, real-time predictable communication. This project attempts to solve these problems by aspect-oriented method, the main ideas are to make the separation of concerns of the system by the properties, divide the systems into small aspect-oriented models, according to the results of the modeling, analysis and verification and the decomposition and composition relations among the aspects, can finally carry out the modeling , analysis and verification of the properties of the systems. The main originality of this project is as follows: 1.to propose aspect-oriented mult-domain modeling method.2. to extend Differential Dynamic Logic by aspect-oriented methods, to extend numerical computation of differential equations by aspect-oriented methods, to extend error calculation by aspect oriented methods. 3.to propose aspect-oriented safety modeling method.4. to propose the aspect-oriented time models and aspect-oriented spatial models. 5. to propose the aspect-oriented temporal-spatial scheduling and fault tolerant scheduling algorithms.6. to propose aspect-oriented modeling method for communication protocols , to propose a n aspect-oriented spatial-temporal hybrid Petri nets.7. according to the properties of MCPS， to extend MODELICA、SYSML、UML、AADL by aspect-oriented methods, propose the transformation and integration methods of these models.

移动信息物理融合系统（MCPS）中包含了很多象物理世界的建模、动态连续性、实时性、空间性、安全性、实时可预报的通信这些难以解决的问题。项目试图采用面向方面的方法来解决这些问题，将系统按照特性进行关注点分离，将系统划分为规模较小的方面模型，根据方面的建模、分析和验证结果以及方面之间的分解与组合关系，能够最终实现系统的特性建模、分析和验证。主要创新体现在：1. 提出MCPS的多领域面向方面的建模方法。2.用面向方面技术扩展微分动态逻辑、微分方程的数值计算及误差计算。3.提出面向方面的安全性建模方法。4.提出面向方面的时间模型及空间模型.5.提出面向方面的时空调度算法，容错调度算法。6.提出通信协议的面向方面的建模方法，提出一种面向方面的时空混合PETRI网.7. 针对MCPS的特点，对MODELICA、SysML、UML、AADL进行面向方面的扩展，研究这些模型转换和集成的方法。

移动信息物理融合系统（MCPS）中包含了很多象物理世界的建模、动态连续性、实时性、空间性、安全性、实时可预报的通信这些难以解决的问题。项目采用面向方面的方法来解决这些问题，将系统按照特性进行关注点分离，将系统划分为规模较小的方面模型，根据方面的建模、分析和验证结果以及方面之间的分解与组合关系，最终实现了系统的特性建模、分析和验证。主要创新体现在：1. 提出了MCPS的多领域的面向方面的建模方法。2.用面向方面技术扩展了微分动态逻辑、微分方程的数值计算及误差计算。3.提出了面向方面的安全性建模方法。4.提出了面向方面的时间模型及空间模型.5.提出了面向方面的时空调度算法，容错调度算法。6.提出了通信协议的面向方面的建模方法，提出了一种面向方面的时空混合PETRI网.7. 针对MCPS的特点，对MODELICA、SYSML、UML、AADL进行了面向方面的扩展，研究了这些模型转换和集成的方法。项目通过智能交通系统、轨道控制系统和月球车的分析和设计来验证所提出方法的有效性。本项目撰写了信息物理融合系统专著的1章,发表论文37篇,其中国际会议32篇，EI收录31篇，国内核心期刊3篇。本项目的研究工作提高了信息物理融合系统的研究水平，具有重大的科学意义和广阔的应用前景。