{"id":204,"date":"2018-06-20T17:15:15","date_gmt":"2018-06-20T15:15:15","guid":{"rendered":"http:\/\/truconf.ist.tugraz.at\/?p=204"},"modified":"2018-11-13T12:58:57","modified_gmt":"2018-11-13T11:58:57","slug":"exploitation-of-truconf-results-for-a-publication-at-qest-2018","status":"publish","type":"post","link":"https:\/\/truconf.sai.tugraz.at\/index.php\/2018\/06\/20\/exploitation-of-truconf-results-for-a-publication-at-qest-2018\/","title":{"rendered":"Exploitation of TRUCONF Results for a Publication at QEST 2018"},"content":{"rendered":"<p>We exploited the results of TRUCONF for a new application, for testing protocols of the Internet of Things (IoT). The work has been accepted at the <a href=\"http:\/\/qest.org\/qest2018\/\">QEST 2018<\/a>.<\/p>\n<p>Bernhard K. Aichernig and Richard Schumi: &#8220;How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols&#8221;. In<em> Quantitative Evaluation of Systems &#8211; 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018<\/em>,\u00a0<em>Proceedings<\/em>,\u00a0<em>Lecture Notes in Computer Science<\/em>. Springer, 2018. (<a href=\"https:\/\/truconf.sai.tugraz.at\/wp-content\/uploads\/sites\/11\/2018\/06\/qest2018.pdf\">PDF<\/a>)(<a href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-99154-2_3\">doi:10.1007\/978-3-319-99154-2_3<\/a>)<\/p>\n<p>The paper\u00a0was presented at the <a href=\"http:\/\/qest.org\/qest2018\/\">International Conference on Quantitative Evaluation of Systems <\/a>on\u00a0Sep. 4-7 2018 in Beijing, China.<\/p>\n<p>Abstract:<\/p>\n<p>MQTT is one of the major messaging protocols in the Internet of things (IoT). In this work, we investigate the expected performance of MQTT implementations in various settings. We present a model-based performance testing approach that allows a fast simulation of specific usage scenarios in order to perform a quantitative analysis of the latency. Out of automatically generated log-data, we learn the distributions of latencies and apply statistical model checking to analyse the functional and timing behaviour. The result is a novel testing and verification technique for analysing the performance of IoT protocols. Two well-known open source MQTT implementations are evaluated and compared.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We exploited the results of TRUCONF for a new application, for testing protocols of the Internet of Things (IoT). The work has been accepted at the QEST 2018. Bernhard K. Aichernig and Richard Schumi: &#8220;How Fast is MQTT? Statistical Model &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/truconf.sai.tugraz.at\/index.php\/2018\/06\/20\/exploitation-of-truconf-results-for-a-publication-at-qest-2018\/\"> <span class=\"screen-reader-text\">Exploitation of TRUCONF Results for a Publication at QEST 2018<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":28,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,1],"tags":[],"class_list":["post-204","post","type-post","status-publish","format-standard","hentry","category-publications","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/204","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/users\/28"}],"replies":[{"embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/comments?post=204"}],"version-history":[{"count":7,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/204\/revisions"}],"predecessor-version":[{"id":229,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/204\/revisions\/229"}],"wp:attachment":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=204"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/categories?post=204"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/tags?post=204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}