Development, Validation and Tool Support of a Stochastic Calculus for Networks with Flow Transformations

在过去的十年中，随机网络演算已经确立了自己作为一个通用的替代方法，以经典的网络和分布式系统的性能分析的嵌入式理论。它的前景是，它可以处理的问题，从根本上说，很难建立理论的基础上，它的工作与（概率）的界限，而不是争取精确的解决方案。现有的网络流分析方法面临的一个巨大挑战是如何处理网络流的变化，这种变化发生在网络内部流的数据发生变化时。流变换实际上是许多现代网络和分布式系统的特征，例如，出于能量效率的目的，无线传感器网络在将所传输的数据递送到汇聚节点的同时处理所传输的数据。该项目解决了随机网络演算的扩展，以处理流变换，并包括三个相互连接的部分。在理论方面，该项目旨在开发随机缩放元素，用于在随机网络演算的框架内对流变换进行建模。在应用方面，该项目旨在将其理论应用于几个现实世界的应用场景，以验证其实用性和准确性。此外，该项目计划提供一个相应的软件工具，以便进行自动分析，并使其他性能分析人员能够获得理论结果。

Over the last decade, the stochastic network calculus has established itself as a versatile alternative methodology to the classical queueing theory for the performance analysis of networks and distributed systems. Its prospect is that it can deal with problems that are fundamentally hard for queueing theory based on the fact that it works with (probabilistic) bounds rather than striving for exact solutions. A great challenge of existing methodologies for queueing analysis is to deal with queueing networks subject to flow transformations, which occur when the flows’ data is altered inside the network. Flow transformations are in fact characteristic to many modern networked and distributed systems, e.g., a wireless sensor network processes the transported data, while delivering it to a sink node, for energy-efficiency purposes. This project addresses an extension of the stochastic network calculus to deal with flow transformations and comprises of three inter-connected parts. On the theoretical side, the project seeks to develop stochastic scaling elements, for modelling flow transformations in great generality, within the framework of the stochastic network calculus. On the application side, the project seeks to apply its theory to several real-world application scenarios in order to validate its usefulness as well as its accuracy. Furthermore, the project plans to deliver a corresponding software tool in order to allow for an automated analysis and to make the theoretical results accessible to other performance analysts.