{"id":2262,"date":"2016-10-25T17:07:25","date_gmt":"2016-10-25T15:07:25","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=2262"},"modified":"2016-10-25T17:09:56","modified_gmt":"2016-10-25T15:09:56","slug":"zeroconf-protocol","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/zeroconf-protocol\/","title":{"rendered":"Zeroconf protocol"},"content":{"rendered":"<p>This model implements a <a href=\"https:\/\/fr.wikipedia.org\/wiki\/Zeroconf\">zeroconf protocol<\/a>. The model shown below is designed with the PTA plugin of Plasma. The plasma project that contains this model can be downloaded <strong>here<\/strong>.<\/p>\n<div id=\"attachment_2263\" style=\"width: 510px\" class=\"wp-caption alignnone\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/zeroconf-protocol\/zeroconf\/\" rel=\"attachment wp-att-2263\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2263\" class=\" wp-image-2263\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconf.png\" alt=\"Implementation of a zeroconf protocol with Plasma Lab PTA plugin\" width=\"500\" height=\"394\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconf.png 1184w, https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconf-300x236.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconf-768x605.png 768w, https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconf-1024x806.png 1024w\" sizes=\"auto, (max-width: 500px) 100vw, 500px\" \/><\/a><p id=\"caption-attachment-2263\" class=\"wp-caption-text\">Implementation of a zeroconf protocol with Plasma Lab PTA plugin<\/p><\/div>\n<p>This model can be equivalently implemented in Uppaal with the two timed automata shown below. The colouring of the Plasma Lab model corresponds to the colouring of the Uppaal models.<\/p>\n<table>\n<tr>\n<td>\n<div id=\"attachment_2264\" style=\"width: 260px\" class=\"wp-caption alignnone\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/zeroconf-protocol\/zeroconfe\/\" rel=\"attachment wp-att-2264\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2264\" class=\"size-medium wp-image-2264\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfe-300x220.png\" alt=\"Server of the zeroconf protocol with Uppaal timed automata\" width=\"250\" height=\"183\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfe-300x220.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfe.png 576w\" sizes=\"auto, (max-width: 250px) 100vw, 250px\" \/><\/a><p id=\"caption-attachment-2264\" class=\"wp-caption-text\">Client of the zeroconf protocol implemented with Uppaal timed automata<\/p><\/div>\n<\/td>\n<td>\n<div id=\"attachment_2265\" style=\"width: 324px\" class=\"wp-caption alignnone\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/zeroconf-protocol\/zeroconfs\/\" rel=\"attachment wp-att-2265\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-2265\" class=\"size-medium wp-image-2265\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfs-300x191.png\" alt=\"Server of the zeroconf protocol implemented with Uppaal timed automata\" width=\"314\" height=\"200\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfs-300x191.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfs-768x488.png 768w, https:\/\/project.inria.fr\/plasma-lab\/files\/2016\/10\/zeroconfs.png 895w\" sizes=\"auto, (max-width: 314px) 100vw, 314px\" \/><\/a><p id=\"caption-attachment-2265\" class=\"wp-caption-text\">Server of the zeroconf protocol implemented with Uppaal timed automata<\/p><\/div>\n<\/td>\n<\/tr>\n<\/table>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This model implements a zeroconf protocol. The model shown below is designed with the PTA plugin of Plasma. The plasma project that contains this model can be downloaded here. This model can be equivalently implemented in Uppaal with the two timed automata shown below. The colouring of the Plasma Lab\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/zeroconf-protocol\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":235,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2262","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/2262","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/235"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=2262"}],"version-history":[{"count":5,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/2262\/revisions"}],"predecessor-version":[{"id":2270,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/2262\/revisions\/2270"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=2262"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}