Computer Science - Masters by Research Theses
Permanent URI for this collection
Browse
Recent Submissions
Item An adaptive and reliable forward error correction mechanism for real-time video delivery from UAVs(University College Cork, 2023) Sarvi, Batoul; Sreenan, Cormac J.; Zahran, Ahmed; Science Foundation IrelandThis thesis introduces the Adaptive and Reliable Forward Error Correction (AR-FEC) mechanism, an advanced protocol designed to enhance real-time video transmission in Unmanned Aerial Vehicles (UAVs) communications. Addressing the challenge of unreliable wireless channels, AR-FEC leverages edge computing principles at the application layer to incorporate adaptive FEC, dynamic video quality, and Unequal Error Protection (UEP). By dynamically adjusting redundancy frames within each video Group of Pictures (GoP) based on packet loss, round-trip times, and cross-layer network information, AR-FEC optimizes the balance between video quality and transmission reliability. A significant portion of this work is dedicated to rigorous simulation-based validation using the NS3 network simulator. The simulation environment is carefully crafted to replicate a range of UAV operational conditions, including varying distances and network loads, to assess the AR-FEC protocol's performance under realistic scenarios. Key performance indicators such as deliverable frame count, latency, throughput, and real-time streaming constraints are meticulously evaluated, demonstrating AR-FEC's capacity to outperform existing error correction methods significantly. The simulations also explore the protocol's behavior with multiple UAVs as senders, highlighting its robustness in complex network settings. The results indicate a marked improvement in video delivery quality, showcasing AR-FEC's potential for broad application across different UAV uses, from surveillance to disaster management. In summary, the thesis articulates the development and validation of AR-FEC, illustrating its superior performance and adaptability. The proposed mechanism not only advances the field of UAV communication but also establishes a comprehensive simulation framework for future research, potentially guiding the development of more reliable and efficient UAV multimedia communication systems.Item Software defined distributed cable networks: design and use cases(University College Cork, 2023-01-25) Naithani, Sudhanshu; Zahran, Ahmed; Sreenan, Cormac J.; Science Foundation IrelandCable networks have continuously evolved to enable new services and improve infrastructure capabilities. Cable networks have recently witnessed a shift from a centralized architecture to a distributed one to remain competitive by supporting higher data rates. This shift complicates the management and configuration of distributed network nodes in Distributed Access Architecture (DAA). Hence, the development of new solutions to overcome this challenge evolves as a crucial need for the success and economic deployment of DAA. In the meantime, Software Defined Networking (SDN) technology evolved as a novel networking paradigm that facilitates designing dynamic, cost-effective, agile, centrally manageable, and programmable network architectures. SDN segregates the data layer and control layer to enable the deployment of centrally optimized operation of distributed network nodes. This thesis focuses on developing a prototype for SDN-enabled DAA Cable Networks. Specifically, an SDN agent was integrated with a legacy DAA remote node to facilitate its communication with any SDN controller. Such integration enables network applications deployed on top of the SDN controller to define the forwarding behavior of these remote nodes. To illustrate this, two use cases, namely Load Balancing and Failure Management, were deployed in the Ryu controller. We validated the operation of these applications using a hybrid setup that includes one physical/industrial remote DAA node with the rest of the network emulated using the Mininet emulator. Additionally, we evaluate the performance of the proposed load balancing and compare it to the no-load balancing case using the web and video traffic. It’s clearly shown that load balancing shows up to 6.4% of a performance improvement for video bitrate without significantly impacting the web traffic. The developed prototype could act as a precursor for designing and deploying different use cases and the widespread adoption of SDN-based DAA networks.Item Finiteness in cubical type theory(University College Cork, 2020-09) Kidney, Donnacha Oisín; Provan, Gregory; Wu, Nicolas; Science Foundation IrelandThis thesis will explore and explain finiteness in constructive mathematics: using this setting, it will also serve as an introduction to constructive mathematics in Cubical Agda, and some related topics.