tag:blogger.com,1999:blog-57013517063318420412011-04-21T12:58:28.078-07:00Research ActivitieseKunoreply@blogger.comBlogger21100tag:blogger.com,1999:blog-5701351706331842041.post-59812924951313287062007-07-13T09:25:00.000-07:002007-07-13T09:29:02.495-07:00Proposition 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.<div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/5701351706331842041-5981292495131328706?l=eku.blogspot.com' alt='' /></div>eKunoreply@blogger.com0tag:blogger.com,1999:blog-5701351706331842041.post-88728800028190233402007-07-13T02:18:00.000-07:002007-07-13T02:33:36.754-07:00This 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&amp;hl=fr">Download Here</a><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/5701351706331842041-8872880002819023340?l=eku.blogspot.com' alt='' /></div>eKunoreply@blogger.com0