pr\u00e9sentent<\/p>\n\n\n\n
Autoris\u00e9 \u00e0 pr\u00e9senter ses travaux en vue de l\u2019obtention du Doctorat de l’Institut Polytechnique de Paris, pr\u00e9par\u00e9 \u00e0 T\u00e9l\u00e9com SudParis en :<\/p>\n\n\n\n
le JEUDI 19 D\u00e9CEMBRE 2024 \u00e0 14h00<\/p>\n\n\n\n
\u00e0<\/p>\n\n\n\n
Amphith\u00e9\u00e2tre 6
T\u00e9l\u00e9com SudParis, 19 place Marguerite Perey, 91120 Palaiseau<\/p>\n\n\n\n
Membres du jury :<\/strong><\/p>\n\n\n\n M. Djamal ZEGHLACHE<\/strong>, Professeur, T\u00e9l\u00e9com SudParis, FRANCE – Directeur de these Invit\u00e9s :<\/strong><\/p>\n\n\n\n Mme Natalia KUSHIK<\/strong>, Maitre de Conf\u00e9rences, T\u00e9l\u00e9com SudParis, FRANCE – Co-encadrant de th\u00e8se<\/p>\n\n\n\n R\u00e9sum\u00e9 :<\/strong><\/p>\n\n\n\n \u00c0 mesure que la demande de services interactifs, de multim\u00e9dia et de capacit\u00e9s de r\u00e9seau augmente dans les r\u00e9seaux modernes, de nouveaux logiciels et\/ou composants mat\u00e9riels devraient \u00eatre int\u00e9gr\u00e9s. Par cons\u00e9quent, le processus d\u2019\u00e9valuation et de validation de ces nouvelles solutions est essentiel pour d\u00e9terminer si elles sont performantes, fiables et robustes avant d\u2019\u00eatre d\u00e9ploy\u00e9es dans un r\u00e9seau r\u00e9el. L\u2019\u00e9mulation de r\u00e9seau est de plus en plus utilis\u00e9e pour r\u00e9pliquer le comportement de r\u00e9seau r\u00e9el \u00e0 faible co\u00fbt d\u2019infrastructure et avec un niveau de r\u00e9alisme plus \u00e9lev\u00e9 que les simulations. Cette approche permet de tester en continu la solution finale sans n\u00e9cessiter de modifications apr\u00e8s le d\u00e9ploiement. Cependant, l\u2019\u00e9mulation de r\u00e9seaux avec des param\u00e8tres de liaison qui peuvent changer au fil du temps en raison de facteurs internes et externes, comme dans les communications par satellite, complique l\u2019architecture d\u2019\u00e9mulation, faisant des tests exhaustifs dans diverses conditions une t\u00e2che difficile. De plus, s\u2019assurer que l\u2019\u00e9mulateur est ad\u00e9quat pour le contexte donn\u00e9 et qu\u2019il est con\u00e7u correctement est crucial pour obtenir des r\u00e9sultats fiables. Cela inclut la v\u00e9rification que l\u2019\u00e9mulateur peut r\u00e9pliquer avec pr\u00e9cision les conditions et les sc\u00e9narios sp\u00e9cifiques du r\u00e9seau pour lesquels il est destin\u00e9. Dans cette th\u00e8se, nous abordons les d\u00e9fis de l\u2019\u00e9mulation et de la validation des r\u00e9seaux \u00e0 liens dynamiques. Nous proposons un mod\u00e8le pour ce type de r\u00e9seaux et leurs param\u00e8tres, en tenant compte des limitations dans la description et l\u2019ex\u00e9cution du comportement dynamique. Nous avons d\u00e9velopp\u00e9 une plateforme d\u2019\u00e9mulation qui int\u00e8gre notre mod\u00e8le propos\u00e9 et permet de tester et d\u2019\u00e9valuer diff\u00e9rents sc\u00e9narios de r\u00e9seau dans un environnement contr\u00f4l\u00e9. Pour assurer une \u00e9mulation correcte et combler l\u2019\u00e9cart entre l\u2019\u00e9mulation et les sc\u00e9narios r\u00e9els, la v\u00e9rification de mod\u00e8le et la v\u00e9rification d\u2019ex\u00e9cution ont \u00e9t\u00e9 propos\u00e9es. De plus, l\u2019ex\u00e9cution de l\u2019\u00e9mulation a \u00e9t\u00e9 v\u00e9rifi\u00e9e en extrayant un jeu de donn\u00e9es de param\u00e8tres r\u00e9seau et en v\u00e9rifiant qu\u2019il respecte certaines propri\u00e9t\u00e9s d\u2019int\u00e9r\u00eat au fil du temps. Enfin, nous introduisons une nouvelle m\u00e9thode utilisant le mod\u00e8le d’automate cellulaire pour simuler avec pr\u00e9cision l\u2019\u00e9volution des param\u00e8tres du r\u00e9seau en garantissant que certaines propri\u00e9t\u00e9s soient maintenues pendant cette \u00e9volution, de sorte qu\u2019il est possible de les transf\u00e9rer rapidement vers une configuration d\u2019\u00e9mulation o\u00f9 les param\u00e8tres du r\u00e9seau atteignent des valeurs critiques. Abstract :<\/strong><\/p>\n\n\n\n As the demand for interactive services, multimedia, and network capabilities grows in modern networks, novel software and\/or hardware components should be incorporated. As a consequence, the assessment and validation process of these newly developed solutions is critical to determining whether they perform well, are reliable, and are robust before being deployed in a real network. Network emulation is increasingly used to replicate real-world network behavior at low infrastructure costs and with a higher level of realism than simulations. This approach allows for continuous testing of the final solution without requiring changes after deployment. However, emulating networks with link parameters that may change over time due to internal and external factors, as in satellite communications, complicates the emulation architecture, making thorough testing under various conditions a challenging task. Moreover, ensuring that the emulator is adequate for the given context and is designed correctly is crucial for obtaining reliable results. This includes verifying that the emulator can accurately replicate the specific network conditions and scenarios for which it is intended. In this thesis, we address the challenges of dynamic-link network emulation and validation. We propose a model for dynamic-link networks and their parameters, considering the limitations in describing and executing dynamic behavior. We have developed an emulation platform that incorporates our proposed model and allows to test and evaluate various network scenarios in a controlled environment. To ensure proper emulation and bridge the gap between emulation and real-world scenarios, both model checking and run-time verification have been proposed. Additionally, the emulation execution has been verified by extracting a dataset of network parameters and checking it respects certain properties of interest over time. Finally, we have introduced a novel method using the Cellular Automaton (CA) model to accurately simulate the evolution of network parameters while ensuring that certain properties are maintained throughout this evolution, thereby potentially fast transfer to an emulation configuration where network parameters reach critical values.<\/p>\n","protected":false},"excerpt":{"rendered":" L’Ecole doctorale : Ecole Doctorale de l’Institut Polytechnique de Paris et le Laboratoire de recherche SAMOVAR – Services r\u00e9partis, Architectures, Mod\u00e9lisation, Validation, Administration des R\u00e9seaux pr\u00e9sentent l\u2019AVIS DE SOUTENANCE de Monsieur Erick PETERSEN Autoris\u00e9 \u00e0 pr\u00e9senter ses travaux en vue de l\u2019obtention du Doctorat de l’Institut Polytechnique de Paris, pr\u00e9par\u00e9 \u00e0 T\u00e9l\u00e9com SudParis en : […]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","ocean_post_oembed":"","ocean_post_self_hosted_media":"","ocean_post_video_embed":"","ocean_link_format":"","ocean_link_format_target":"self","ocean_quote_format":"","ocean_quote_format_link":"post","ocean_gallery_link_images":"on","ocean_gallery_id":[],"footnotes":""},"categories":[286,402],"tags":[],"class_list":["post-6747","post","type-post","status-publish","format-standard","hentry","category-fractualites-ennews-fr","category-seminaires-ness-2013-fr","entry"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/6747","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=6747"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/6747\/revisions"}],"predecessor-version":[{"id":6748,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/6747\/revisions\/6748"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=6747"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=6747"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=6747"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
M. Jorge LOPEZ<\/strong>, Senior Expert, Airbus, FRANCE – Co-encadrant de these
M. Pierre SENS<\/strong>, Professeur, Sorbonne Universit\u00e9, FRANCE – Examinateur
Mme Pascale LE GALL<\/strong>, Professeure, CentraleSup\u00e9lec, FRANCE – Examinateur
Mme Johanna SEPULVEDA<\/strong>, Senior Expert, Airbus, Charg\u00e9e de cours, Technical University of Munich, ALLEMAGNE – Examinateur
M. Yacine GHAMRI-DOUDANE<\/strong>, Professeur, La Rochelle Universit\u00e9, FRANCE – Rapporteur
M. Hac\u00e8ne FOUCHAL<\/strong>, Professeur, Universit\u00e9 de Reims Champagne-Ardenne, FRANCE – Rapporteur<\/p>\n\n\n\n\u00ab R\u00e9seaux de Liens Dynamiques : Emulation et Validation \u00bb<\/h2>\n\n\n\n
pr\u00e9sent\u00e9 par Monsieur Erick PETERSEN<\/h2>\n\n\n\n
<\/p>\n\n\n\n