Distributing Cyber-Physical Systems Simulation: The Satellite Constellation Case

The goal of this position paper is to contribute for the improving of Cyber-Physical System (CPS) simulations by introducing distribution. CPS use computations andcommunication tightly interacting with physical processes. So a CPS simulation needs to tackle with three kinds of simulations: the computational simulation, the physical simulation, and the communication simulation. In this paper, we will focus on the communication simulation, and its interaction with the two others simulations. We will draw a landscape of the existing concepts and technologies for distributing communication simulation, and then propose an architecture for interacting with the whole CPS simulation. We will apply this architecture to a simulation of a satellite constellation, where satellites can be simulated with different levels of precision, from the simple generic mathematical model to the heavy-featured CPS simulation

SAPIENT-Simulator Modelling and Architecture

Future aeronautical communications will be based on the TCP/IP protocol stack, and will occur through a number of different data-link channels (e.g., satellite, terrestrial), with multipath capabilities – the so-called multilink. Seamless vertical handover between different data-links is a requirement and it will improve the safety and reliability of AEROCOM systems, possibly enabling remote-piloted aircrafts (RPAs) for civil operations. This paper describes the modelling, design and implementation of an AEROCOM system simulator based on OMNeT++, developed in the framework of the SAPIENT EU project. The simulator includes models of the aircrafts, including their mobility, terrestrial and satellite data links and core network. Moreover, it includes a solution to simulate the effect of multilink capabilities, which enables one to test multilink decision policies

Developing and experimenting with LEO satellite constellations in OMNeT++

In this paper, we present our work in designing and implementing a LEO satellite constellation simulation model1 within OMNeT++ and INET, which is validated by comparing the results with existing work. Our model builds upon the fundamentals of the Open Source Satellite Simulator (OS3), which was ported to INET 4.3. We describe how the model was integrated on top of the INET and ported OS3 Framework. We then experiment with the simulation model to demonstrate its viability in simulating LEO satellite constellations. This involved simulating both outdated and more recent satellite constellations, using FCC filing information, to validate latency results

5G-MEC Testbeds for V2X Applications

Fifth-generation (5G) mobile networks fulfill the demands of critical applications, such as Ultra-Reliable Low-Latency Communication (URLLC), particularly in the automotive industry. Vehicular communication requires low latency and high computational capabilities at the network’s edge. To meet these requirements, ETSI standardized Multi-access Edge Computing (MEC), which provides cloud computing capabilities and addresses the need for low latency. This paper presents a generalized overview for implementing a 5G-MEC testbed for Vehicle-to-Everything (V2X) applications, as well as the analysis of some important testbeds and state-of-the-art implementations based on their deployment scenario, 5G use cases, and open source accessibility. The complexity of using the testbeds is also discussed, and the challenges researchers may face while replicating and deploying them are highlighted. Finally, the paper summarizes the tools used to build the testbeds and addresses open issues related to implementing the testbeds.publishedVersio

Virtual Satellite Network Simulator (VSNeS) - A novel engine to evaluate satellite networks over virtual infrastructure and networks

Space has been populated by a wide range of satellite systems from governmental and private space entities. Monolithic satellites have been ruling it by providing a custom design that accomplishes a specific mission. Nevertheless, novel user demands emerged have required global coverage, low revisit time, and ubiquitous service. The possibility to integrate in-orbit infrastructure to support current communications systems has been discussed persistently during the last years. Specifically, the concept of deploying networks composed of aircraft and spacecraft (creating the so-called Non-Terrestrial Networks), has emerged as a potential architecture to satisfy this new demand. This novel concept has enabled to investigate mobile technologies in space infrastructure. For example, this is the case of the Software-Defined Satellite, which aims at managing in-orbit infrastructure by using Software-Defined Network techniques. These novel concepts pose multiple challenges which dedicated developments shall address. Likewise, specific equipment and simulation environments shall support them. Currently, open source satellite network emulators have certain limitations or are not easily accessible. This project aims at presenting the Virtual Satellite Network Simulator, a novel simulation engine capable to represent satellites as well as ground nodes in virtual machines and deploy a virtual network that depicts the channel effects and dynamics. VSNeS has been generated from different modules, that thanks to the joint work is able to generate the virtualization. First of all, a Python3 program has been developed, which works as a manager and is responsible for running the rest of the modules according to the virtualized scenario. Furthermore, Kernel-based Virtual Machine has been implemented for the execution of the virtual machines. The channel management is done with the NetEm emulator. Finally, a graphical user interface is delivered by Cesium. This dissertation presents formally a preliminary design with the essential steps to select each technology. Then, the networking design is also discussed. Different tests are also shown in order to verify the correct functioning of the tool. In addition, tests about the performance of the final release have been performed. The program has been tested with the following protocols in different realistic scenarios: TCP, UDP, and ICMP. This allowed us to verify the correct operation of the program, checking the delays and channel losses. Moreover, it is empirically demonstrated that some protocols are not functional for geostationary satellites, due to the long latency caused by the large distances

Application of Machine Learning Techniques to Delay Tolerant Network Routing

This dissertation discusses several machine learning techniques to improve routing in delay tolerant networks (DTNs). These are networks in which there may be long one-way trip times, asymmetric links, high error rates, and deterministic as well as non-deterministic loss of contact between network nodes, such as interplanetary satellite networks, mobile ad hoc networks and wireless sensor networks. This work uses historical network statistics to train a multi-label classifier to predict reliable paths through the network. In addition, a clustering technique is used to predict future mobile node locations. Both of these techniques are used to reduce the consumption of resources such as network bandwidth, memory and data storage that is required by replication routing methods often used in opportunistic DTN environments. Thesis contributions include: an emulation tool chain developed to create a DTN test bed for machine learning, the network and software architecture for a machine learning based routing method, the development and implementation of classification and clustering techniques and performance evaluation in terms of machine learning and routing metrics

Secure and efficient routing in highly dynamic WLAN mesh networks

Recent advances in embedded systems, energy storage, and communication interfaces, accompanied by the falling prices of WLAN routers and a considerable increase in the throughput of a WLAN (IEEE 802.11), have facilitated the proliferation of WLAN Mesh Network (WMN) applications. In addition to their current deployments in less dynamic community networks, WMNs have become a key solution in various highly dynamic scenarios. For instance, WMNs are intended to interconnect self-organized, cooperative, and small Unmanned Aerial Vehicles (UAVs) in a wide range of applications, such as emergency response, environmental monitoring, and ad-hoc network provisioning. Nevertheless, WMNs still face major security challenges as they are prone to routing attacks. Consequently, the network can be sabotaged and, in the case of UAV-WMN-supported missions, the attacker might manipulate payload data or even hijack UAVs. Contemporary security standards, such as the IEEE 802.11i and the security mechanisms of the IEEE 802.11s mesh standard, are vulnerable to routing attacks, as experimentally shown in this research. Therefore, a secure routing protocol is indispensable for making feasible the deployment of WMNs in critical scenarios, such as UAV-WMN-assisted applications. As far as the author of this thesis knows, none of the existing research approaches for secure routing in WMNs have gained acceptance in practice due to their high overhead or strong assumptions. In this research, a new approach, which is called Position-Aware, Secure, and Efficient mesh Routing (PASER), is proposed. This new proposal defeats more attacks than the IEEE 802.11s/i security mechanisms and the well-known, secure routing protocol Authenticated Routing for Ad-hoc Networks (ARAN), without making restrictive assumptions. It is shown that PASER achieves —in realistic UAV-WMN scenarios— similar performance results as the well-established, nonsecure routing protocols Hybrid Wireless Mesh Protocol (HWMP) combined with the IEEE 802.11s security mechanisms. Two representative scenarios are considered: (1) on-demand ubiquitous network access and (2) efficient exploration of sizable areas in disaster relief. The performance evaluation results are produced using an experimentally validated simulation model of WMNs, realistic mobility patterns of UAVs, and an experimentally derived channel model for the air-to-air WMN link between UAVs. The findings of this evaluation are justified by the route discovery delay and the message overhead of the considered solutions

Contributions to simulation and emulation of Inter-Satellite Links

Recently, there has been a paradigm shift in space missions. They no longer rely on a single satellite to achieve all the objectives of a mission. Responsibility is shared between devices that can communicate and share resources to achieve these objectives. This paradigm shift has increased the need to assess communication performance within FSS. Despite proposals for simulators and emulators to achieve this goal, none of them integrates the dynamics of satellites with their communications. This thesis presents two proposals and the implementation of one of them to extend the capabilities of the communication channel of the simulator developed by the NanoSat Lab of the UPC. Additionally, following the lines of the i2Cat Space Communications research group, a test bench is also presented to demonstrate the feasibility of a satellite contact emulator. As it will be demonstrated, developing such an emulator has not been possible. Finally, it is concluded that both parts of this thesis may converge. Thus, combining the possibilities offered by the current simulator with those available in the emulator under development.En el transcurso de los últimos años se ha observado un cambio en el paradigma en las misiones espaciales. Éstas ya no cuentan sólo con un único satélite que tenga que alcanzar todos los objetivos de una misión. Se reparte la responsabilidad entre diferentes dispositivos que son capaces de comunicarse y compartir recursos para alcanzar tales objetivos. De ese cambio de paradigma nace la necesidad de poder evaluar el comportamiento de las comunicaciones dentro de un FSS. A pesar de la existencia de simuladores y propuestas de emuladores para alcanzar tal objetivo, ninguno de ellos integra las dinámicas de los satélites con sus comunicaciones. En esta tesis, se presentan dos propuestas y la implementación de una de ellas para ampliar las capacidades del canal de comunicaciones del simulador desarrollado por NanoSat Lab de la UPC. Además, siguiendo las líneas del grupo de investigación de Comunicaciones Espaciales de i2Cat también se presenta un test-bed para demostrar la viabilidad de un emulador de contactos de satélites. Pues, como se va a demostrar, el desarrollador de uno como tal no ha sido posible. Por último, se concluirá que ambas partes de esta tesis puedan converger en algún momento combinando así las posibilidades que ofrece el actual simulador con las de un emulador que está en desarrollo.En el transcurs dels últims anys s’ha observat un canvi en el paradigma de les missions espacials. Aquestes ja no compten només d’un únic satèl·lit que hagi d’assolir tots els objectius d’una missió. Es reparteix la responsabilitat entre diferents dispositius els quals són capaços de comunicar-se i compartir recursos per tal d’assolir tals objectius. D’aquest canvi de paradigma neix la necessitat de poder avaluar el comportament de les comunicacions dins d’un FSS. Tot i l’existència de simuladors i propostes d’emuladors per assolir tal objectiu, cap d’ells integra les dinàmiques dels satèl·lits amb les seves comunicacions. En aquesta tesi, es presenten dues propostes i la implementació d’una d’elles per tal d’ampliar les capacitats del canal de comunicacions del simulador desenvolupat pel NanoSat Lab de la UPC. A més a més, seguint les línies del grup de recerca de Comunicacions Espacials d'i2Cat també es presenta un test-bed per tal de poder demostrar la viabilitat d’un emulador de contactes de satèl·lits. Doncs, com es demostrarà, el desenvolupant d’un com a tal no ha estat possible. Finalment, es conclourà que ambdues parts d'aquesta tesi puguin convergir en algun moment combinant així les possibilitat que ofereix l'actual simulador amb les d’un emulador que està en desenvolupamen

Contributions to the routing of traffic flows in multi-hop IEEE 802.11 wireless networks

The IEEE 802.11 standard was not initially designed to provide multi-hop capabilities. Therefore, providing a proper traffic performance in Multi-Hop IEEE 802.11 Wireless Networks (MIWNs) becomes a significant challenge. The approach followed in this thesis has been focused on the routing layer in order to obtain applicable solutions not dependent on a specific hardware or driver. Nevertheless, as is the case of most of the research on this field, a cross-layer design has been adopted. Therefore, one of the first tasks of this work was devoted to the study of the phenomena which affect the performance of the flows in MIWNs. Different estimation methodologies and models are presented and analyzed. The first main contribution of this thesis is related to route creation procedures. First, FB-AODV is introduced, which creates routes and forwards packets according to the flows on the contrary to basic AODV which is destination-based. This enhancement permits to balance the load through the network and gives a finer granularity in the control and monitoring of the flows. Results showed that it clearly benefits the performance of the flows. Secondly, a novel routing metric called Weighted Contention and Interference routing Metric (WCIM) is presented. In all analyzed scenarios, WCIM outperformed the other analyzed state-of-the-art routing metrics due to a proper leveraging of the number of hops, the link quality and the suffered contention and interference. The second main contribution of this thesis is focused on route maintenance. Generally, route recovery procedures are devoted to the detection of link breaks due to mobility or fading. However, other phenomena like the arrival of new flows can degrade the performance of active flows. DEMON, which is designed as an enhancement of FB-AODV, allows the preemptive recovery of degraded routes by passively monitoring the performance of active flows. Results showed that DEMON obtains similar or better results than other published solutions in mobile scenarios, while it clearly outperforms the performance of default AODV under congestion Finally, the last chapter of this thesis deals with channel assignment in multi-radio solutions. The main challenge of this research area relies on the circular relationship between channel assignment and routing; channel assignment determines the routes that can be created, while the created routes decide the real channel diversity of the network and the level of interference between the links. Therefore, proposals which join routing and channel assignment are generally complex, centralized and based on traffic patterns, limiting their practical implementation. On the contrary, the mechanisms presented in this thesis are distributed and readily applicable. First, the Interference-based Dynamic Channel Assignment (IDCA) algorithm is introduced. IDCA is a distributed and dynamic channel assignment based on the interference caused by active flows which uses a common channel in order to assure connectivity. In general, IDCA leads to an interesting trade-off between connectivity preservation and channel diversity. Secondly, MR-DEMON is introduced as way of joining channel assignment and route maintenance. As DEMON, MR-DEMON monitors the performance of the active flows traversing the links, but, instead of alerting the source when noticing degradation, it permits reallocating the flows to less interfered channels. Joining route recovery instead of route creation simplifies its application, since traffic patterns are not needed and channel reassignments can be locally decided. The evaluation of MR-DEMON proved that it clearly benefits the performance of IDCA. Also, it improves DEMON functionality by decreasing the number of route recoveries from the source, leading to a lower overhead.El estándar IEEE 802.11 no fue diseñado inicialmente para soportar capacidades multi-salto. Debido a ello, proveer unas prestaciones adecuadas a los flujos de tráfico que atraviesan redes inalámbricas multi-salto IEEE 802.11 supone un reto significativo. La investigación desarrollada en esta tesis se ha centrado en la capa de encaminamiento con el objetivo de obtener soluciones aplicables y no dependientes de un hardware específico. Sin embargo, debido al gran impacto de fenómenos y parámetros relacionados con las capas físicas y de acceso al medio sobre las prestaciones de los tráficos de datos, se han adoptado soluciones de tipo cross-layer. Es por ello que las primeras tareas de la investigación, presentadas en los capítulos iniciales, se dedicaron al estudio y caracterización de estos fenómenos. La primera contribución principal de esta tesis se centra en mecanismos relacionados con la creación de las rutas. Primero, se introduce una mejora del protocolo AODV, que permite crear rutas y encaminar paquetes en base a los flujos de datos, en lugar de en base a los destinos como se da en el caso básico. Esto permite balacear la carga de la red y otorga un mayor control sobre los flujos activos y sus prestaciones, mejorando el rendimiento general de la red. Seguidamente, se presenta una métrica de encaminamiento sensible a la interferencia de la red y la calidad de los enlaces. Los resultados analizados, basados en la simulación de diferentes escenarios, demuestran que mejora significativamente las prestaciones de otras métricas del estado del arte. La segunda contribución está relacionada con el mantenimiento de las rutas activas. Generalmente, los mecanismos de mantenimiento se centran principalmente en la detección de enlaces rotos debido a la movilidad de los nodos o a la propagación inalámbrica. Sin embargo, otros fenómenos como la interferencia y congestión provocada por la llegada de nuevos flujos pueden degradar de forma significativa las prestaciones de los tráficos activos. En base a ello, se diseña un mecanismo de mantenimiento preventivo de rutas, que monitoriza las prestaciones de los flujos activos y permite su reencaminamiento en caso de detectar rutas degradadas. La evaluación de esta solución muestra una mejora significativa sobre el mantenimiento de rutas básico en escenarios congestionados, mientras que en escenarios con nodos móviles obtiene resultados similares o puntualmente mejores que otros mecanismos preventivos diseñados específicamente para casos con movilidad. Finalmente, el último capítulo de la tesis se centra en la asignación de canales en entornos multi-canal y multi-radio con el objetivo de minimizar la interferencia entre flujos activos. El reto principal en este campo es la dependencia circular que se da entre la asignación de canales y la creación de rutas: la asignación de canales determina los enlaces existentes la red y por ello las rutas que se podrán crear, pero son finalmente las rutas y los tráficos activos quienes determinan el nivel real de interferencia que se dará en la red. Es por ello que las soluciones que proponen unificar la asignación de canales y el encaminamiento de tráficos son generalmente complejas, centralizadas y basadas en patrones de tráfico, lo que limita su implementación en entornos reales. En cambio, en nuestro caso adoptamos una solución distribuida y con mayor aplicabilidad. Primero, se define un algoritmo de selección de canales dinámico basado en la interferencia de los flujos activos, que utiliza un canal común en todos los nodos para asegurar la conectividad de la red. A continuación, se introduce un mecanismo que unifica la asignación de canales con el mantenimiento preventivo de las rutas, permitiendo reasignar flujos degradados a otros canales disponibles en lugar de reencaminarlos completamente. Ambas soluciones demuestran ser beneficiosas en este tipo de entornos.Postprint (published version

Entwurf und Leistungsbewertung von Ad-hoc-Kommunikationsnetzen für den Katastrophenschutz

A reliable communications network provides the essential basis for future IT-based services for rescue personnel at an incident scene. Nowadays, the communication in civil protection is based on the digital trunked radio TETRA system, or is still based on analog BOS radio system. These systems do not provide sufficient data rate for multimedia applications. Existing infrastructure networks, such as the public mobile telephony network, can be damaged in a major incident situation and therefore are not fully usable for rescue personnel. To use new multimedia services at the incident scene, rescue personnel therefore dependent on their own local communications network. For the rescue personnel a practicable network deployment is essential, whereas the technology should not hinder the rescue process. Moreover, there are demands on the quality of service of the network, and the performance in terms of the data rate, as for example videos should be transferred from helmet cameras. The aim of this thesis is the design and performance evaluation of a robust communications solution for ad hoc networks in disaster management. To enable a user-friendly network deployment, a reliable networking approach is presented which allows a selfconfiguring ad hoc deployment. Working closely with the fire department, rescue processcompliant network deployment strategies are investigated which can be used as a basis for reliable communication. The key enabling technology of the approach is Wi-Fi communication, which operates in 5GHz band. WLAN stations of one network can interfere with each other or can be interfered by other networks on the same channel. In this work, a method for reducing the interference is introduced. The proposed Interference Avoidance Algorithm (IAA) disables redundant router in the network of rescue personnel. It can be shown by simulations that on average in the investigated scenarios a higher packet delivery ratio can be achieved when IAA is active compared to networks without IAA. In order to reduce interference caused by other networks, a prioritization of the communication of the rescue personnel with the introduction of new communication classes is proposed. This concept is based on the modification of the parameters of the medium access function (DCF) of wireless LAN, which is comparable with IEEE 802.11e but is more prioritized, and is called Emergency-DCF. For its performance evaluation, an existing Markov model is modified and extended. Then, the analytical results are validated by simulation. The feasibility of the method can be validated experimentally. The presented solutions of this thesis have been developed within and were contributed to research projects, where partners from the industry and end-users were actively involved. Thus, the network concept developed within this thesis was tested together with the Dortmund fire brigades during the project MobileEmerGIS. Moreover, the process oriented networking was validated during field tests by Gelsenkirchen fire brigade during the BMBF project SPIDER. The networking concept was also used in a modified version for networking the flying robots in the BMBF project Airshield. With several publications in conferences and presentations at workshops, an international resonance has been achieved. Currently, the results of this thesis are being deployed with the German Red Cross in Bavaria