CREAM: Coordination and Reliability Mechanisms for Adaptive Mobile Middleware

CREAM：自适应移动中间件的协调和可靠性机制

• 批准号: EP/C544773/2
• 负责人: Cecilia Mascolo
• 金额: --
• 依托单位: University of Cambridge
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2008
• 资助国家: 英国
• 起止时间: 2008 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FC544773%2F2
• 关键词: CREAM; Coordination; Reliability; Mechanisms; Adaptive

The number of mobile phones in Europe is higher than the number of personal computers. The number of devices surrounding our daily life, including tiny sensors, is rising exponentially. However, the software and communication mechanisms used to network these devices are still the ones that we have been devised 30 years ago for standard computer systems. Mobile networks are by orders of magnitude more dynamic than traditional systems and have often less resources (energy, memory, bandwidth). This calls for a radical change in the communication mechanisms applied. The proposed work will devise novel mechanisms for the communication among networked mobile devices. These mechanisms will have to combine spatial and temporal concerns in order to be able to cope with the dynamicity and the resource limitations of mobile systems. To understand and reason about these concerns, we will investigate their formal underpinning through appropriate calculi. Reliable communication is usually very expensive in terms of resources but sometimes needed: we will devise new techniques for obtaining different levels of reliability through dynamic prediction of network behaviour. New methods for collecting and sharing data will be designed, including novel adaptive transactions, which adjust to the variability of the network and to the resources available. We will evaluate the appropriateness of these mechanisms in small scale applications and in large scale simulations.

欧洲的移动的电话数量高于个人电脑数量。围绕我们日常生活的设备数量，包括微型传感器，正在呈指数级增长。然而，用于将这些设备联网的软件和通信机制仍然是我们30年前为标准计算机系统设计的那些。移动的网络比传统系统的动态性高出几个数量级，并且通常具有更少的资源（能量、存储器、带宽）。这就要求彻底改变所采用的沟通机制。拟议的工作将设计新的机制，网络移动的设备之间的通信。这些机制必须将联合收割机的空间和时间问题结合起来，以便能够科普移动的系统的动态性和资源限制。为了理解和推理这些问题，我们将通过适当的演算来研究它们的形式基础。可靠的通信通常是非常昂贵的资源，但有时需要：我们将设计新的技术，通过动态预测网络行为获得不同程度的可靠性。将设计收集和共享数据的新方法，包括新的自适应交易，这些交易将根据网络的可变性和可用资源进行调整。我们将评估这些机制在小规模应用和大规模模拟中的适当性。