{"id":5532,"date":"2023-02-02T12:39:55","date_gmt":"2023-02-02T11:39:55","guid":{"rendered":"https:\/\/samovar.telecom-sudparis.eu\/?p=5532"},"modified":"2023-02-09T10:15:13","modified_gmt":"2023-02-09T09:15:13","slug":"seminaire-methodes-presente-par-le-prof-marc-frappier","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2023\/02\/02\/seminaire-methodes-presente-par-le-prof-marc-frappier\/","title":{"rendered":"<strong>S\u00e9minaire M\u00e9thodes pr\u00e9sent\u00e9 par le prof. Marc Frappier<\/strong>"},"content":{"rendered":"\n<p><strong>Quand\u00a0:<\/strong> Le jeudi 9 f\u00e9vrier 2023, \u00e0 14h00<br><strong>O\u00f9\u00a0:<\/strong> En salle C06, \u00e0 T\u00e9l\u00e9com SudParis, 9 rue Charles Fourrier, Evry ou en webconf via le lien suivant <a rel=\"noreferrer noopener\" href=\"https:\/\/webconf.imt.fr\/frontend\/ame-tii-q38-yx8\" target=\"_blank\">https:\/\/webconf.imt.fr\/frontend\/ame-tii-q38-yx8<\/a><br><strong>Titre\u00a0:<\/strong> TASTD : Diagrammes \u00e9tats-transitions alg\u00e9briques temporis\u00e9s<\/p>\n\n\n\n<p><strong>Abstract&nbsp;:<\/strong><\/p>\n\n\n\n<p>Les diagrammes \u00e9tats-transitions alg\u00e9briques (Algebraic State-Transition Diagrams (ASTD)) permettent de combiner des machines \u00e0 \u00e9tats hi\u00e9rarchiques avec des op\u00e9rateurs inspir\u00e9s des alg\u00e8bres de processus (s\u00e9quence, choix, garde, fermeture de Kleene, synchronisation, flow, et versions quantifi\u00e9s de ces op\u00e9rateurs). Un \u00e9tat d\u2019une machine peut \u00eatre un ASTD quelconque, ce qui donne une approche enti\u00e8rement compositionnelle pour la sp\u00e9cifications de syst\u00e8mes complexes. Des actions pouvant modifier des attributs, d\u2019un type quelconque, d\u00e9clar\u00e9s localement dans les ASTD, permettent de mod\u00e9liser les donn\u00e9es complexes de mani\u00e8re modulaire. &nbsp;Les ASTD permettent de d\u00e9composer une sp\u00e9cification complexe en plusieurs composants ind\u00e9pendants, ce qui facilite la modularization et la r\u00e9-utilisation.<\/p>\n\n\n\n<p>Nous pr\u00e9senterons une extension temporis\u00e9e des ASTD, qui permet de sp\u00e9cifier des contraintes temporelles sur le comportement des ASTD. &nbsp;Les nouveaux op\u00e9rateurs temporels sont: Delay, Persistent Delay, Timeout, Persistent Timeout et Timed Interrupt. &nbsp;Ils sont d\u00e9finis avec deux nouveaux op\u00e9rateurs ASTD (Persistent Guard et Interruption). &nbsp;Ils peuvent \u00eatre arbitrairement combin\u00e9s avec les op\u00e9rateurs existants. &nbsp;L\u2019extension est bas\u00e9e sur une horloge globale qui fait partie de l\u2019\u00e9tat et qui repr\u00e9sente l\u2019horloge syst\u00e8me. &nbsp;Un \u00e9v\u00e8nement particuli\u00e8r appel\u00e9 \u00ab&nbsp;step&nbsp;\u00bb (inspir\u00e9 de Stateflow) permet de sp\u00e9cifier des transitions dans les machines \u00e0 \u00e9tats qui sont d\u00e9clench\u00e9es par l\u2019\u00e9coulement du temps. &nbsp;L\u2019\u00e9v\u00e8nement step est soumis par l\u2019environnement \u00e0 un ASTD, typiquement \u00e0 intervalles r\u00e9guliers suffisamment petits pour respecter la granularit\u00e9 des contraintes de temps vis\u00e9es.<\/p>\n\n\n\n<p>TASTD est support\u00e9 par un \u00e9diteur graphique eASTD et un compilateur cASTD qui permet de g\u00e9n\u00e9rer un programme C++ impl\u00e9mentant le comportement sp\u00e9cifi\u00e9 dans un TASTD. &nbsp;Le mode simulation permet d\u2019ex\u00e9cuter le programme g\u00e9n\u00e9r\u00e9 en contr\u00f4lant l\u2019\u00e9coulement du temps.<\/p>\n\n\n\n<p><strong>Short bio&nbsp;:<\/strong><\/p>\n\n\n\n<p>Marc Frappier est professeur au D\u00e9partement d\u2019informatique de l\u2019Universit\u00e9 de Sherbrooke au Qu\u00e9bec. &nbsp;Ses int\u00e9r\u00eats de recherche portent sur les m\u00e9thodes formelles de d\u00e9veloppement de logiciels (sp\u00e9cification, conception, raffinement, validation et v\u00e9rification). &nbsp;Il&nbsp;s&rsquo;int\u00e9resse \u00e9galement \u00e0 l&rsquo;ing\u00e9nierie dirig\u00e9e par les mod\u00e8les (i.e., model-driven engineering) et ses applications pour la g\u00e9n\u00e9ration automatique de code, le test du logiciel et la s\u00e9curit\u00e9&nbsp;infomatique (contr\u00f4le d&rsquo;acc\u00e8s, d\u00e9tection d&rsquo;intrusion, test de vuln\u00e9rabilit\u00e9).&nbsp;Il a \u0153uvr\u00e9 durant plus de 5 ann\u00e9es en industrie \u00e0 titre de consultant, analyste senior et gestionnaire de projets pour&nbsp;plusieurs entreprises.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Quand\u00a0: Le jeudi 9 f\u00e9vrier 2023, \u00e0 14h00O\u00f9\u00a0: En salle C06, \u00e0 T\u00e9l\u00e9com SudParis, 9 rue Charles Fourrier, Evry ou en webconf via le lien suivant https:\/\/webconf.imt.fr\/frontend\/ame-tii-q38-yx8Titre\u00a0: TASTD : Diagrammes \u00e9tats-transitions alg\u00e9briques temporis\u00e9s Abstract&nbsp;: Les diagrammes \u00e9tats-transitions alg\u00e9briques (Algebraic State-Transition Diagrams (ASTD)) permettent de combiner des machines \u00e0 \u00e9tats hi\u00e9rarchiques avec des op\u00e9rateurs inspir\u00e9s des [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"closed","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":"0","ocean_second_sidebar":"0","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":"0","ocean_custom_header_template":"0","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":"0","ocean_menu_typo_font_family":"0","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":"0","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":"off","ocean_gallery_id":[],"footnotes":""},"categories":[286,129],"tags":[],"class_list":["post-5532","post","type-post","status-publish","format-standard","hentry","category-fractualites-ennews-fr","category-seminaires-methodes","entry"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/5532","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=5532"}],"version-history":[{"count":4,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/5532\/revisions"}],"predecessor-version":[{"id":5552,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/5532\/revisions\/5552"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=5532"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=5532"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=5532"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}