Predictable data transport : a delay and energy perspective

Abstract

Cyber-physical systems extend the digital revolution to almost every aspect of our lives by bridging the gap between the digital and physical worlds. These systems demand unprecedented timeliness and reliability guarantees that the current operating and network systems do not provide. Transport layer protocols are the direct communication interface for the application layer and, hence, are key to providing end-to-end guarantees to the application. This thesis addresses how transport layer protocols should be designed to support cyber-physical systems. A clear candidate is the Predictably Reliable Real-time Transport (PRRT) protocol, which provides the application with a predictably reliable service within the specified time budget. This thesis makes original contributions to PRRT’s error control function, which decides when and how much redundancy must be transmitted to meet the reliability and delay requirements of the application. The main contributions of this thesis are threefold: i) the SHARQ algorithm, which obtains the optimal error control configuration meeting the application constraints, and has been optimized to achieve predictably quick reactions to channel changes, ii) the DeepSHARQ algorithm, which leverages neural networks and a novel output regularization method to bring this predictability to resource-constrained devices, and iii) a systematic analysis of binary codes as an energy-efficient alternative for error coding at the transport layer, questioning the long-held belief that Vandermonde codes are a more suitable alternative due to their better error correction capabilities.

Cyber-physikalische Systeme erweitern die digitale Revolution auf nahezu jeden Aspekt unseres Lebens, indem sie die Kluft zwischen der digitalen und physikalischen Welt überbrücken. Diese Systeme erfordern beispiellose zeitliche und beispiellose Garantien bzgl. Zeit-Verbrauch und Fehlerraten, die das aktuelle Betriebssystem und das Netzwerk nicht bieten. Transport-Protokolle sind die direkte Kommunikationsschnittstelle für die Anwendungsebene und sind daher entscheidend für die Bereitstellung von Ende-zu- Ende-Garantien für die Anwendungen. Diese Dissertation beschäftigt sich damit, wie Transport-Protokolle gestaltet sein sollten, um Cyber-physikalische Systeme zu unterstützen. Ein ausgezeichneter Kandidat ist das PRRT-Protokoll, das der Anwendung einen vorhersagbar zuverlässigen Dienst innerhalb des festgelegten Zeitbudgets bietet. Diese Dissertation leistet originelle Beiträge zur Fehlerkontrollfunktion von PRRT, die entscheidet, wie viel, und wann Redundanz übertragen werden muss, um die Zuverlässigkeits- und Verzögerungsanforderungen der Anwendung zu erfüllen. Die Hauptbeiträge dieser Dissertation sind in drei Teile auf: i) Der SHARQ-Algorithmus, der die optimale Konfiguration der Fehlerkontrolle gemäß den Einschränkungen ermittelt, wurde optimiert um vorhersehbare schnelle Reaktionen auf Kanaländerungen zu erzielen, ii) Der DeepSHARQ-Algorithmus, welcher Neuronale Netzwerke nutzt, und eine neuartige Ausgabe-Regularisierungsmethode, um diese Vorhersagbarkeit auf ressourcenbeschränkte Geräte zu übertragen, iii) eine systematische Analyse von Binärcodes als energieeffiziente Alternative für die Fehlercodierung auf der Transport-Schicht, wobei die langjährige überzeugung hinterfragt wird, ob Vandermonde-Codes aufgrund ihrer besseren Fehlerkorrekturfähigkeiten wirklich die bessere Alternative sind.