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

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.