Proposition preemption :
preempt port+ by port+
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.
vendredi 13 juillet 2007
Pola - Policies Analyzer
This tool, is an experiment of a translation chain
- starting from an high level language
- translating it to a Petri net
- analyzing it using a state state exploration tool (Tina here)
- Then feed back user with usefull information (here scheduling diagram - and schedule feasability decision)
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.
Download Here
- starting from an high level language
- translating it to a Petri net
- analyzing it using a state state exploration tool (Tina here)
- Then feed back user with usefull information (here scheduling diagram - and schedule feasability decision)
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.
Download Here
Inscription à :
Articles (Atom)