Dynamic Link Network Emulation and Validation of Execution Datasets

Dynamic Link Network Emulation and Validation of Execution Datasets

연구 분야: Networking

학회: International Conference on Evaluation of Novel Approaches to Software Engineering

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 strategies 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.