vendredi 13 juillet 2007

Proposition Preemption pour FIACRE

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.

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