Dynamic link network emulation and validation of execution datasets - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

Dynamic link network emulation and validation of execution datasets

Résumé

We present a network emulator for dynamic link networks, i.e., networks whose parameter values vary; for example, satellite communication networks where bandwidth capacity varies. We describe the design of the emulator, which allows replicating any network system, through the use of state-of-the-art virtualization technologies. This paper is also devoted to the verification of the datasets produced by monitoring the network emulation. We propose a model-based design for a dynamic link network emulator and discuss how to extract data for network parameters such as bandwidth, delay, etc. These data can be verified to ensure a number of desired properties. The main goal is to try to guarantee that the emulator behaves as the real physical system. We rely on model checking for the dataset validation, in particular, we utilize a Satisfiability Module Theories (SMT) solver. The properties to check can include one or several network parameter values and can contain dependencies between various network instances. Experimental results showcase the pertinence of our emulator and proposed approach.
Fichier principal
Vignette du fichier
Dynamic_link_Network_Emulation_and_Validation_of_Execution_Data_Sets__SPLNCS_extended_version_ (1).pdf (597.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04537149 , version 1 (08-04-2024)

Identifiants

Citer

Erick Petersen, Jorge López, Natalia Kushik, Maxime Labonne, Claude Poletti, et al.. Dynamic link network emulation and validation of execution datasets. Evaluation of Novel Approaches to Software Engineering. Revised Selected Papers. Communications in Computer and Information Science 1829, 1829, Springer Nature Switzerland, pp.116-138, 2023, Communications in Computer and Information Science, 978-3-031-36597-3. ⟨10.1007/978-3-031-36597-3_6⟩. ⟨hal-04537149⟩
19 Consultations
16 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More