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

项目名称： 移动信息物理融合系统的面向方面建模方法

项目编号： No.61370082

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 张立臣

作者单位： 广东工业大学

项目金额： 79万元

中文摘要： 移动信息物理融合系统（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

英文关键词： mobile CPS；aspect-oriented；modeling；non-functional properties；spatial-temporal