Skip to main content
SpringerLink
Log in

Dynamic Link Network Emulation and Validation of Execution Datasets

  • Conference paper
  • First Online:
Evaluation of Novel Approaches to Software Engineering (ENASE 2022)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1829))

  • 142 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Often such procedures seek to “eliminate” the quantifiers and obtain an equivalent quantifier-free formula.

  2. 2.

    The theory of arrays considers basic read and write axioms [32].

References

  1. Alsmadi, I., Zarrad, A., Yassine, A.: Mutation testing to validate networks protocols. In: 2020 IEEE International Systems Conference (SysCon), pp. 1–8. IEEE, Montreal, QC, Canada (2020). https://doi.org/10.1109/SysCon47679.2020.9275875

  2. Barrett, C., Stump, A., Tinelli, C.: The satisfiability modulo theories library (smt-lib). SMT-LIB.org (2010)

    Google Scholar 

  3. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305–343. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_11

    Chapter  Google Scholar 

  4. Chan, M.C., Chen, C., Huang, J.X., Kuo, T., Yen, L.H., Tseng, C.C.: Opennet: A simulator for software-defined wireless local area network. In: 2014 IEEE Wireless Communications and Networking Conference (WCNC), pp. 3332–3336. IEEE (2014)

    Google Scholar 

  5. de Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78800-3_24

    Chapter  Google Scholar 

  6. Deng, B., Jiang, C., Yao, H., Guo, S., Zhao, S.: The next generation heterogeneous satellite communication networks: integration of resource management and deep reinforcement learning. IEEE Wirel. Commun. 27(2), 105–111 (2019)

    Article  Google Scholar 

  7. Fambri, G., Diaz-Londono, C., Mazza, A., Badami, M., Sihvonen, T., Weiss, R.: Techno-economic analysis of power-to-gas plants in a gas and electricity distribution network system with high renewable energy penetration. Appl. Energy 312, 118743 (2022)

    Article  Google Scholar 

  8. Farias, F.N., Junior, A.d.O., da Costa, L.B., Pinheiro, B.A., Abelém, A.J.: vsdnemul: A software-defined network emulator based on container virtualization. arXiv preprint arXiv:1908.10980 (2019)

  9. Gandhi, S., Singh, R.K., et al.: Design and development of dynamic satellite link emulator with experimental validation. In: 2021 12th International Conference on Computing Communication and Networking Technologies (ICCCNT), pp. 1–6. IEEE (2021)

    Google Scholar 

  10. Hemminger, S., et al.: Network emulation with netem. In: Linux conf au, pp. 18–23 (2005)

    Google Scholar 

  11. Henderson, T.R., Lacage, M., Riley, G.F., Dowell, C., Kopena, J.: Network simulations with the ns-3 simulator. SIGCOMM Demonstrat. 14(14), 527 (2008)

    Google Scholar 

  12. Horneber, J., Hergenröder, A.: A survey on testbeds and experimentation environments for wireless sensor networks. IEEE Commun. Surveys Tutorials 16(4), 1820–1838 (2014). https://doi.org/10.1109/COMST.2014.2320051

    Article  Google Scholar 

  13. Kamp, P.H., Watson, R.N.: Jails: Confining the omnipotent root. In: Proceedings of the 2nd International SANE Conference. vol. 43, p. 116 (2000)

    Google Scholar 

  14. Kaur, K., Singh, J., Ghumman, N.S.: Mininet as software defined networking testing platform. In: International Conference on Communication, Computing & Systems (ICCCS), pp. 139–42 (2014)

    Google Scholar 

  15. Khan, A.R., Bilal, S.M., Othman, M.: A performance comparison of open source network simulators for wireless networks. In: 2012 IEEE International Conference on Control System, Computing and Engineering, pp. 34–38. IEEE, Penang, Malaysia (2012). https://doi.org/10.1109/ICCSCE.2012.6487111

  16. Kodheli, O., et al.: Satellite communications in the new space era: a survey and future challenges. IEEE Commun. Surv. Tutorials 23(1), 70–109 (2020)

    Article  Google Scholar 

  17. Lai, J., Tian, J., Jiang, D., Sun, J., Zhang, K.: Network emulation as a service (neaas): towards a cloud-based network emulation platform. In: Song, H., Jiang, D. (eds.) Simulation Tools and Techniques, pp. 508–517. Springer International Publishing, Cham (2019)

    Chapter  Google Scholar 

  18. Lantz, B., Heller, B., McKeown, N.: A network in a laptop: rapid prototyping for software-defined networks. In: Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks. pp. 1–6. ACM (2010)

    Google Scholar 

  19. Liu, Y., Lu, H., Li, X., Zhang, Y., Xi, L., Zhao, D.: Dynamic service function chain orchestration for nfv/mec-enabled iot networks: A deep reinforcement learning approach. IEEE Internet Things J. 8(9), 7450–7465 (2021). https://doi.org/10.1109/JIOT.2020.3038793

    Article  Google Scholar 

  20. López, J., Labonne, M., Poletti, C.: Toward formal data set verification for building effective machine learning models. In: Cucchiara, R., Fred, A.L.N., Filipe, J. (eds.) Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, Volume 1: KDIR, Online Streaming, October 25–27, 2021. pp. 249–256. SCITEPRESS (2021). https://doi.org/10.5220/0010676500003064

  21. Manna, Z., Zarba, C.G.: Combining decision procedures. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 381–422. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-40007-3_24

    Chapter  Google Scholar 

  22. Nurlan, Z., Zhukabayeva, T., Othman, M., Adamova, A., Zhakiyev, N.: Wireless sensor network as a mesh: vision and challenges. IEEE Access 10, 46–67 (2022). https://doi.org/10.1109/ACCESS.2021.3137341

    Article  Google Scholar 

  23. Petersen, E., López, J., Kushik, N., Labonne, M., Poletti, C., Zeghlache, D.: Dlemudataverif: Dynamic link network emulation and validation of execution data sets. https://gitlab.ailab.airbus.com/erick.petersen/DLEmuDataVerif.gi (2022)

  24. Petersen, E., López, J., Kushik, N., Poletti, C., Zeghlache, D.: On using smt-solvers for modeling and verifying dynamic network emulators: (work in progress). In: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24–27, 2020. pp. 1–3. IEEE (2020). https://doi.org/10.1109/NCA51143.2020.9306731

  25. Petersen, E., López, J., Kushik, N., Poletti, C., Zeghlache, D.: Dynamic link network emulation: A model-based design. In: Kaindl, H., Mannion, M., Maciaszek, L.A. (eds.) Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25–26, 2022. pp. 536–543. SCITEPRESS (2022). https://doi.org/10.5220/0011091100003176

  26. Peterson, L.L., Davie, B.S.: Computer networks: a systems approach. Elsevier (2007)

    Google Scholar 

  27. Peuster, M., Kampmeyer, J., Karl, H.: Containernet 2.0: A rapid prototyping platform for hybrid service function chains. In: 2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft), pp. 335–337. IEEE (2018)

    Google Scholar 

  28. Rese, A., Görmar, L., Herbig, A.: Social networks in coworking spaces and individual coworker’s creativity. RMS 16(2), 391–428 (2022)

    Article  Google Scholar 

  29. Shan, Q.: Testing methods of computer software. In: 2020 International Conference on Data Processing Techniques and Applications for Cyber-Physical Systems, pp. 231–237. Springer (2021)

    Google Scholar 

  30. Srisawai, S., Uthayopas, P.: Rapid building of software-based SDN testbed using SDN owl. In: 2018 22nd International Computer Science and Engineering Conference (ICSEC), pp. 1–4. IEEE (2018)

    Google Scholar 

  31. Stoller, M.H.R.R.L., Duerig, J., Guruprasad, S., Stack, T., Webb, K., Lepreau, J.: Large-scale virtualization in the emulab network testbed. In: USENIX Annual Technical Conference, Boston, MA (2008)

    Google Scholar 

  32. Stump, A., Barrett, C.W., Dill, D.L., Levitt, J.: A decision procedure for an extensional theory of arrays. In: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, pp. 29–37. IEEE (2001)

    Google Scholar 

  33. Sun, Z., Chai, W.K.: Satellite emulator for ip networking based on linux. In: 21st International Communications Satellite Systems Conference and Exhibit, p. 2393 (2003)

    Google Scholar 

  34. Varga, A.: Discrete event simulation system. In: Proceedings of the European Simulation Multiconference (ESM’2001), pp. 1–7 (2001)

    Google Scholar 

  35. Wang, S.Y., Chou, C.L., Yang, C.M.: Estinet openflow network simulator and emulator. IEEE Commun. Mag. 51(9), 110–117 (2013)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Airbus, Issy-Les-Moulineaux, France

    Erick Petersen, Jorge López, Maxime Labonne & Claude Poletti

  2. Télécom SudParis, Institut Polytechnique de Paris, Palaiseau, France

    Erick Petersen, Natalia Kushik & Djamal Zeghlache

Authors
  1. Erick Petersen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge López
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Natalia Kushik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Maxime Labonne
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Claude Poletti
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Djamal Zeghlache
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Erick Petersen .

Editor information

Editors and Affiliations

  1. TU Wien, Vienna, Austria

    Hermann Kaindl

  2. Glasgow Caledonian University, Glasgow, UK

    Mike Mannion

  3. Wroclaw University of Economics, Wroclaw, Poland

    Leszek A. Maciaszek

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Petersen, E., López, J., Kushik, N., Labonne, M., Poletti, C., Zeghlache, D. (2023). Dynamic Link Network Emulation and Validation of Execution Datasets. In: Kaindl, H., Mannion, M., Maciaszek, L.A. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2022. Communications in Computer and Information Science, vol 1829. Springer, Cham. https://doi.org/10.1007/978-3-031-36597-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-36597-3_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-36596-6

  • Online ISBN: 978-3-031-36597-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation