信息物理融合系统的多维分析与设计方法

项目名称： 信息物理融合系统的多维分析与设计方法

项目编号： No.61173046

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 张立臣

作者单位： 广东工业大学

项目金额： 58万元

中文摘要： 现存的分析与设计方法不能满足信息物理融合系统（CPS）的分析与设计，主要是因为CPS具有很多重要的特性，这些特性在分析和设计时必须被考虑，这些特性包括实时性、空间性、可信性、性能等。因此，采用单一维度分析和设计CPS是不合适的。本项目试图建立信息物理融合系统的多维分析与设计方法。拟解决的关键问题包括提出CPS的时间特性的多维表示与分析方法，所提出方法不仅能满足确定性时间限制、随机时间限制、模糊时间限制的需求，而且能够满足离散时间、连续时间及混合时间的需求，提出多维的CPS的最坏执行时间的分析方法，以分析影响WCET的各种因素。针对CPS的时空性，提出一种三维的实时时空调度算法。为了同时对实时性和空间性进行表示和分析，扩展现存的形式化方法，使之成为多维的形式化方法，特别是对区间时序逻辑增加空间性维度，使之成为多维逻辑。本项目将推动信息物理融合系统的研究，具有重要的科学研究意义和实际应用意义。

中文关键词： 系统分析；多维；实时性；分布式；信息物理融合系统

英文摘要：

英文关键词： system analysis；multi-dimensions；real time；distributed；cyber physical systems