loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Igor Burdonov 1 ; Alexandre Kossachev 1 ; Nina Yevtushenko 1 ; 2 ; Jorge López 3 ; 4 ; Natalia Kushik 4 and Djamal Zeghlache 4

Affiliations: 1 Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia ; 2 National Research University Higher School of Economics, Moscow, Russia ; 3 Airbus Defence and Space, Issy-Les-Moulineaux, France ; 4 Télécom SudParis, Institut Polytechnique de Paris, Palaiseau, France

Keyword(s): Software Defined Networking, Systems Engineering, Verification, Repairing, Graph Paths.

Abstract: Software Defined Networking (SDN) devices (e.g., switches) route traffic according to the configured flow rules, and thus a set of virtual paths gets implemented in the data plane. We propose a novel preventive approach for verifying that no misconfigurations (e.g., infinite loops), can occur given the requested set of paths. Such verification is essential since when configuring a set of data paths, other not requested and undesired paths (including loops) may be unintentionally configured. We show that for some cases the requested set of paths cannot be implemented without adding such undesired behavior, i.e., only a superset of the requested set can be implemented. We present a verification technique for detecting such issues of potential misconfigurations and estimate the complexity of the proposed method. Finally, we propose a technique for debugging and repairing a set of paths in such a way that the corrected set does not induce undesired paths into the data plane, if the latte r is possible. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.89.116.152

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Burdonov, I.; Kossachev, A.; Yevtushenko, N.; López, J.; Kushik, N. and Zeghlache, D. (2021). Preventive Model-based Verification and Repairing for SDN Requests. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-508-1; ISSN 2184-4895, SciTePress, pages 421-428. DOI: 10.5220/0010494504210428

@conference{enase21,
author={Igor Burdonov. and Alexandre Kossachev. and Nina Yevtushenko. and Jorge López. and Natalia Kushik. and Djamal Zeghlache.},
title={Preventive Model-based Verification and Repairing for SDN Requests},
booktitle={Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2021},
pages={421-428},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010494504210428},
isbn={978-989-758-508-1},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Preventive Model-based Verification and Repairing for SDN Requests
SN - 978-989-758-508-1
IS - 2184-4895
AU - Burdonov, I.
AU - Kossachev, A.
AU - Yevtushenko, N.
AU - López, J.
AU - Kushik, N.
AU - Zeghlache, D.
PY - 2021
SP - 421
EP - 428
DO - 10.5220/0010494504210428
PB - SciTePress