{"id":283,"date":"2018-04-30T16:27:14","date_gmt":"2018-04-30T16:27:14","guid":{"rendered":"https:\/\/megamart2-ecsel.eu\/?p=283"},"modified":"2018-04-30T16:27:14","modified_gmt":"2018-04-30T16:27:14","slug":"foundations-model-based-runtime-analysis-methods","status":"publish","type":"post","link":"https:\/\/megamart2-ecsel.eu\/foundations-model-based-runtime-analysis-methods\/","title":{"rendered":"Foundations for Model-based Runtime Analysis Methods"},"content":{"rendered":"<p><span style=\"font-weight: 400;\">After 6 months of work, the first deliverable of <\/span><b>Work Package 3 &#8211; MegaM@Rt Runtime Analysis <\/b><span style=\"font-weight: 400;\">has been released <a href=\"https:\/\/megamart2-ecsel.eu\/deliverables\/\">and published on the website<\/a>. WP3 focuses on defining new methods and tools for creating and managing models at runtime. These methods should be able to use large specifications, should incorporate means for traceability of requirements, and should allow performance-efficient runtime verification, test generation and analysis of execution and test\/verification logs.<\/span><\/p>\n<blockquote><p>\u201cWhile researchers put a lot of effort into the development of monitoring, adaptation, and\u00a0synchronization mechanisms, we think that there is a strong need for process-related enhancements\u00a0when designing and implementing systems which are augmented by runtime models\u2026&#8230;We believe\u00a0that a tool-assisted selection of architectures, techniques, kinds of models, and testing mechanisms\u00a0would boost the development and adoption of applications using models at runtime.\u201d<\/p><\/blockquote>\n<p>This first deliverable, <a href=\"http:\/\/hdl.handle.net\/20.500.12004\/1\/P\/MMART2\/D3.1\"><b>Deliverable D3.1 &#8211; Foundations for Model-based Runtime Analysis Methods,<\/b><\/a>\u00a0<span style=\"font-weight: 400;\">has the goal to provide a succinct overview of the state-of-the-art and accompanying tool support for model-based runtime methods and technologies in order to support the innovation tasks of WP3. Throughout the deliverable, we highlight limitations and potential for improvement of current methods that will be investigated in the MegaMa@Rt2 project.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">The content of the deliverable is organized around four main topics<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><b>Automated code and model generation for runtime<\/b><span style=\"font-weight: 400;\"> &#8211; techniques for obtaining some parts of the final and running system directly and automatically from design models, including using aspect-oriented methods. <\/span><\/li>\n<li style=\"font-weight: 400;\"><b> Runtime verification and Online testing<\/b><span style=\"font-weight: 400;\"> &#8211; how the behavior of the system can be monitored and validated with respect to different properties<\/span><\/li>\n<li style=\"font-weight: 400;\"><b>Runtime trace analysis<\/b><span style=\"font-weight: 400;\"> &#8211; with emphasis not only on monitoring solutions for both hardware and software systems, but also method for analysis, prediction and debugging of test execution. <\/span><\/li>\n<li style=\"font-weight: 400;\"><b>Model-based system monitoring through \u201cmodels@run.time\u201d<\/b><span style=\"font-weight: 400;\"> &#8211; discussing how models can be used during the execution of software systems to make decisions and drive the behavior of the system. <\/span><\/li>\n<\/ul>\n<p><span style=\"font-weight: 400;\">The D3.1 deliverable also includes a preliminary list of relevant methods and tools provided by the MegaM@Rt2 project partners as baseline technologies in the project. The deliverable is over 60 pages long so make sure you take a closer look to the lots of runtime models knowledge we have summarized there!.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>After 6 months of work, the first deliverable of Work Package 3 &#8211; MegaM@Rt Runtime Analysis has been released and published on the website. WP3 focuses on defining new methods and tools for creating and managing models at runtime. These methods should be able to use large specifications, should incorporate means for traceability of requirements, [&hellip;]<\/p>\n","protected":false},"author":7,"featured_media":142,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0},"categories":[8],"tags":[43],"_links":{"self":[{"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/posts\/283"}],"collection":[{"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/comments?post=283"}],"version-history":[{"count":0,"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/posts\/283\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/media\/142"}],"wp:attachment":[{"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/media?parent=283"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/categories?post=283"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/megamart2-ecsel.eu\/wp-json\/wp\/v2\/tags?post=283"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}