2 papers
cs.NI2021
Dynamic Link Network Emulation: a Model-based Design
Erick Petersen, Jorge López, Natalia Kushik +2
This paper presents the design and architecture of a network emulator whose links' parameters (such as delay and bandwidth) vary at different time instances. The emulator can thus…
cs.SE2020
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
Erick Petersen, Jorge López, Natalia Kushik +2
A novel model-based approach to verify dynamic networks is proposed; the approach consists in formally describing the network topology and dynamic link parameters. A many sorted fi…