{"id":224,"date":"2013-02-22T11:45:04","date_gmt":"2013-02-22T10:45:04","guid":{"rendered":"https:\/\/project.inria.fr\/pyecdar\/?p=224"},"modified":"2013-02-22T11:45:04","modified_gmt":"2013-02-22T10:45:04","slug":"pyecdar-for-adaptive-featured-real-time-systems","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/pyecdar\/pyecdar-for-adaptive-featured-real-time-systems\/","title":{"rendered":"PyECDAR for adaptive featured real-time systems"},"content":{"rendered":"<p>We have design a <a title=\"Download\" href=\"https:\/\/project.inria.fr\/pyecdar\/download\/\">new version<\/a> of PyECDAR for the analysis of adaptive featured real-time systems. This version is currently separated from the main version of pyecdar. It includes a new parser for UPPAAL models with features that replaces PyUPPAAL. Features are added as boolean arrays. 3 types of arrays may be used and declare in a template has follow:<\/p>\n<ul>\n<li>bool Fa[n], Fb[n];<br \/>\nIt declares an array Fa of n adaptive system features, and the corresponding array Fb to update these features.<br \/>\nThese features can be changed by output transitions.<\/li>\n<li>bool Fe[n], Ff[n];<br \/>\nIt declares an array Fe of n adaptive environment features, and the corresponding array Ff to update these features. These features can be changed by input transitions.<\/li>\n<li>bool Fs[n];<br \/>\nIt declares an array Fs of n non adaptive system features. These features cannot be changed at runtime initialisation.<\/li>\n<\/ul>\n<p>Features variable Fa[i], Fe[i] or Fs[i] can used in guards and invariants. The updates Fb[i] or Ff[i] can be used in guards only. These features expressions may only be used at then end of a guard (or an invariant) inside parentheses.\u00a0 For instance the following guard:<br \/>\n<code>(Fs[1] and ((Fa[0] and Fb[0]) or (not Fa[0] and not Fb[0])))<\/code><br \/>\nspecifies that the transition is enable if the system feature Fs[1] is enable and that the adaptive feature Fa[0] is not altered by the transition. The last part can be shorten by using an assignment:<\/p>\n<p><code>(Fb[0]=Fa[0])<\/code><\/p>\n<p>You can have a look at the demo included in the package to see how to use this new version of PyECDAR.<\/p>\n<p>In the future we will merge this version with the main version of PyECDAR.<\/p>","protected":false},"excerpt":{"rendered":"<p>We have design a new version of PyECDAR for the analysis of adaptive featured real-time systems. This version is currently separated from the main version of pyecdar. It includes a new parser for UPPAAL models with features that replaces PyUPPAAL. Features are added as boolean arrays. 3 types of arrays may be used and declare &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/project.inria.fr\/pyecdar\/pyecdar-for-adaptive-featured-real-time-systems\/\">Continue reading<\/a><\/p>\n","protected":false},"author":235,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"categories":[1],"tags":[],"class_list":["post-224","post","type-post","status-publish","format-standard","hentry","category-uncategorized","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/posts\/224","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/users\/235"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/comments?post=224"}],"version-history":[{"count":2,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/posts\/224\/revisions"}],"predecessor-version":[{"id":226,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/posts\/224\/revisions\/226"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/media?parent=224"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/categories?post=224"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/pyecdar\/wp-json\/wp\/v2\/tags?post=224"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}