tag:blogger.com,1999:blog-57013517063318420412024-02-20T00:42:54.527-08:00eKu's nuts update researchsResearch ActivitieseKuhttp://www.blogger.com/profile/05743133399377871247noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5701351706331842041.post-59812924951313287062007-07-13T09:25:00.000-07:002007-07-13T09:29:02.495-07:00Proposition Preemption pour FIACREProposition preemption :<br /> preempt port+ by port+<br /><br />la liste de port à gauche est préemptée par la liste de ports à droite (n'y voir aucune connotation politique !). Il y a préemption si un port à droite est actif, et si tous les ports à droite sont inactif la préemption n'a plus (ou pas) lieu.eKuhttp://www.blogger.com/profile/05743133399377871247noreply@blogger.com0tag:blogger.com,1999:blog-5701351706331842041.post-88728800028190233402007-07-13T02:18:00.000-07:002007-07-13T02:33:36.754-07:00Pola - Policies AnalyzerThis tool, is an experiment of a translation chain<br /> - starting from an high level language<br /> - translating it to a Petri net<br /> - analyzing it using a state state exploration tool (Tina here)<br /> - Then feed back user with usefull information (here scheduling diagram - and schedule feasability decision)<br /><br />What is cool about using models to do this analysis is that the decision response is exact, alas it's to the price of a possible explosion of the state space, therefore there is a possibility that the chain is unable to give an answer.<br /><br /><a href="http://ekuphd.googlegroups.com/web/PolaTinaPlugin.zip?gda=CVXCeEIAAADD3aLWllyjOHjBE0xBbQ5C42H9_OhMhTwksp09rSaCDp6c033teO1THVOElipvJfFm-MKZBRIF9PgJO85rj-hhR3EF-MqJXdm-zvpgwRZgvQ&hl=fr">Download Here</a>eKuhttp://www.blogger.com/profile/05743133399377871247noreply@blogger.com0