{"id":498,"date":"2014-06-05T17:23:23","date_gmt":"2014-06-05T15:23:23","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2014\/06\/05\/exposes-de-recherche-de-lequipe-methodes\/"},"modified":"2022-12-05T16:20:48","modified_gmt":"2022-12-05T15:20:48","slug":"exposes-de-recherche-de-lequipe-methodes","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2014\/06\/05\/exposes-de-recherche-de-lequipe-methodes\/","title":{"rendered":"Expos\u00e9s de recherche de l’\u00e9quipe METHODES"},"content":{"rendered":"

Le vendredi 6 juin<\/strong>, en G08<\/strong>, des expos\u00e9s de recherche sont pr\u00e9vus de 9h30<\/strong> \u00e0 12h45. <\/p>\n

Voici le programme :<\/p>\n

Titre : Application des techniques de monitorage pour valider l\u2019interop\u00e9rabilit\u00e9 s\u00e9curis\u00e9e<\/strong><\/p>\n

Orateur : Khalifa Toumi<\/strong><\/p>\n

Dur\u00e9e : 30 min<\/p>\n

R\u00e9sum\u00e9 :<\/p>\n

Les techniques de monitorage sont des techniques de supervision d\u2019un syst\u00e8me ou r\u00e9seau, qui permettent \u00e0 partir de l\u2019analyse de traces d\u2019ex\u00e9cution de v\u00e9rifier de propri\u00e9t\u00e9s fonctionnelles et de s\u00e9curit\u00e9. Nous allons pr\u00e9senter l\u2019application de ces techniques pour valider l\u2019interop\u00e9rabilit\u00e9 s\u00e9curis\u00e9e d\u2019un cas d\u2019\u00e9tude dans le cadre d\u2019un projet europ\u00e9en.<\/p>\n

\n

Titre : Extension du gossip pair-\u00e0-pair asynchrone<\/strong><\/p>\n

Orateur : Anass Bellachehab<\/strong><\/p>\n

Dur\u00e9e : 30 min<\/p>\n

R\u00e9sum\u00e9 :<\/p>\n

Les algorithmes distribu\u00e9s sont aujourd’hui un sujet de recherche intense. En particulier, dans le domaine des r\u00e9seaux de capteurs, le probl\u00e8me du consensus distribu\u00e9 est un probl\u00e8me typique et fondamental. Le r\u00e9soudre permet par exemple d’\u00e9lire un repr\u00e9sentant, ou de synchroniser le r\u00e9seau sur une valeur commune. Dans cet expos\u00e9, apr\u00e8s avoir pos\u00e9 le probl\u00e8me de mani\u00e8re formelle, on rappellera comment fonctionne l’algorithme de gossip pair-\u00e0-pair asynchrone. Puis on cherchera \u00e0 \u00e9tendre son fonctionnement au del\u00e0 de son rayon d’action naturel, les espaces euclidiens. Plus pr\u00e9cis\u00e9ment, on exhibera une classe d’espaces m\u00e9triques courbes, les espaces CAT(0), vaste g\u00e9n\u00e9ralisation des espaces euclidiens, pour laquelle on proposera une adaptation de l’algorithme du gossip pair-\u00e0-pair asynchrone et pour laquelle on prouvera la convergence de l’algorithme propos\u00e9. On pr\u00e9sentera ensuite une application \u00e0 la robotique de l’algorithme qu’on aura \u00e9tudi\u00e9.<\/p>\n

\n

Title: Passive Performance Testing of Network Protocols based on Horn Logic.<\/strong><\/p>\n

Speaker: Xiaoping Che<\/strong><\/p>\n

Duration : 30min<\/p>\n

Abstract: In the recent years, many studies on testing an Implementation Under Test (IUT) have been performed. Among these techniques, the passive ones have been significantly developed. The term \u201cpassive\u201d means that the tests do not disturb the natural run-time of a protocol as the implementation under test is not stimulated. The protocol messages observed in execution traces are generally modeled and analyzed through their control and data parts. While most of the approaches tackle functional protocol properties, we developed a passive testing technique for testing non-functional requirements based on the Horn logic. Complementary to performance evaluation, the performance testing of communicating protocols is a qualitative and quantitative test of a system, aiming at checking whether performance requirements extracted from the protocol standard have been satisfied under certain conditions. It raises the interesting issue of how to accurately formalize the specified performance requirements by taking consideration of the data values of the protocol messages. In our work, we present a novel logic-based testing approach to check the protocol performance requirements through real execution traces and formally specified properties.<\/p>\n

In this presentation, (1) The definition of an extended language syntax and semantics is introduced, which provide the possibility to formalize and test performance requirements by taking into consideration the data values causality. (2) A common ground for both conformance testing and performance testing, and four-valued semantics for accurately determining non-positive verdicts are presented. (3) A proposal of detailed customized benchmark system for testing the performance of SIP and XMPP might be discussed<\/p>\n

\n

Titre : Test distribu\u00e9 des syst\u00e8mes compos\u00e9s<\/strong><\/p>\n

Orateur : Huu Nghia NGUYEN<\/strong><\/p>\n

Dur\u00e9e : 15 min<\/p>\n

R\u00e9sum\u00e9 :<\/p>\n

Des syst\u00e8mes logiciels sont de plus en plus complexes. Ils sont souvent compos\u00e9s de plusieurs composants qui sont d\u00e9velopp\u00e9s ind\u00e9pendamment et d\u00e9ploy\u00e9s dans un environnement distribu\u00e9. Nous allons introduire une approche de test distribu\u00e9 pour tester ce type du syst\u00e8me. Dans cette approche, nous supposons qu’un composant n’est test\u00e9 que par un testeur et qu’il n’y a pas de connexion entre des testeurs.<\/p>\n

\n

Titre : Approche par bornes stochastiques et histogrammes pour<\/p>\n

l’analyse de performance des r\u00e9seaux<\/strong><\/p>\n

Orateur: Farah Ait Salaht<\/strong><\/p>\n

Dur\u00e9e : 30min<\/p>\n

R\u00e9sum\u00e9 :<\/p>\n

Au cours des derni\u00e8res ann\u00e9es, nous connaissons une croissance accrue du trafic dans les r\u00e9seaux Internet. Essentiellement due \u00e0 une forte demande des applications multim\u00e9dia, des flux importants de trafic sont congestionn\u00e9s dans les n\u0153uds du r\u00e9seau et entra\u00eenent des d\u00e9lais cons\u00e9quents et des pertes consid\u00e9rables de paquets. Dans le but d’\u00e9valuer les performances de ces r\u00e9seaux, une multitude de mesures de trafic sont disponibles pour tester diff\u00e9rentes hypoth\u00e8ses. Cependant, ces mesures sont relativement difficiles \u00e0 utiliser pour la mod\u00e9lisation de performance d’une mani\u00e8re efficace. En effet, les mesures de trafic sont extr\u00eamement volumineuses et emp\u00eachent leurs utilisations directes dans un mod\u00e8le. Des probl\u00e8mes d’incertitudes des param\u00e8tres d\u2019entr\u00e9e dus au volume des mesures peuvent \u00e9galement subvenir.<\/p>\n

Dans cet expos\u00e9, je pr\u00e9senterai une m\u00e9thode d’\u00e9valuation de performance des r\u00e9seaux reposant sur diverses techniques compl\u00e9mentaires. Premi\u00e8rement, je montrerai comment \u00e0 partir de traces de trafic r\u00e9elles \u00e0 l’entr\u00e9e des r\u00e9seaux, nous construisons des distributions (histogrammes) bornantes au sens de l’ordre stochastique fort. D\u00e9finis sur des supports de tailles r\u00e9duites, ces histogrammes offrent un encadrement tr\u00e8s fin du trafic pour une fonction de r\u00e9compense positive croissante donn\u00e9e. Ainsi, le fait de pouvoir param\u00e9trer la taille des histogrammes va permettre de faire un compromis int\u00e9ressant entre la complexit\u00e9 et la qualit\u00e9 des calculs. Ensuite, je d\u00e9finirai la propri\u00e9t\u00e9 de monotonie stochastique des \u00e9l\u00e9ments de r\u00e9seaux FIFO, ce qui permet d’obtenir des encadrements stochastiques pertinents des mesures de performances : longueur des files d’attente, temps d’attente, probabilit\u00e9 de perte, etc.<\/p>\n

\n

Titre : Mod\u00e9lisation de l’impatience et son impact sur la performance des r\u00e9seaux sans fils<\/strong><\/p>\n

Orateur : Sanogo Cheick<\/strong><\/p>\n

Dur\u00e9e : 30<\/p>\n

R\u00e9sum\u00e9 : we study in this work user impatience and quantify its impact on the performance of mobile networks, notably LTE networks, in the presence of data flows experiencing heterogeneous radio conditions. We consider a dynamic user setting where users come to the system at different time instants and leave it after a finite duration, either after completion of their data transfers or earlier, at the expiry of some patience duration. We derive closed-form analytical expressions for the system stationary probability distribution, and obtain several performance metrics such as mean effective time and the proportion of impatient users who quit the system before completing their file transfers, taking into account users location in the cell. Our numerical results quantify these metrics, as a function of the impatience rate.<\/p>\n

\n","protected":false},"excerpt":{"rendered":"

Le vendredi 6 juin, en G08, des expos\u00e9s de recherche sont pr\u00e9vus de 9h30 \u00e0 12h45. Voici le programme : Titre : Application des techniques de monitorage pour valider l\u2019interop\u00e9rabilit\u00e9 s\u00e9curis\u00e9e Orateur : Khalifa Toumi Dur\u00e9e : 30 min R\u00e9sum\u00e9 : Les techniques de monitorage sont des techniques de supervision d\u2019un syst\u00e8me ou r\u00e9seau, qui […]<\/p>\n","protected":false},"author":1,"featured_media":497,"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":[129],"tags":[],"class_list":["post-498","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-seminaires-methodes","entry","has-media"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/498","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=498"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/498\/revisions"}],"predecessor-version":[{"id":1804,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/498\/revisions\/1804"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media\/497"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=498"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=498"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=498"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}