Abstract FR:

La premiere partie de cette these propose un modele en reseau de petri pour un atelier de production comportant une ressource partagee par deux processus paralleles. Dans la famille des ordonnancements cycliques, nous obtenons une borne inferieure sur le debit, en fonction de la frequence d'allocation de la ressource partagee. La deuxieme partie est motivee par une application robotique. Un algorithme de commande distribue peut etre decrit par un graphe de taches elementaires avec des liens de synchronisation. L'objectif est de montrer que ce graphe ne mene pas a des situations d'inter-blocage. Un modele en reseau de petri est proposee et nous en etudions les proprietes de vivacite. La troisieme partie concerne l'analyse de systemes de files d'attente ou les arrivees sont une superposition de flux periodiques, et soumis a une contrainte temps reel stricte. Cette contrainte specifie que, quel que soit le dephasage initial, tout client doit avoir quitte le systeme avant son echeance (faisabilite). Les proprietes de stabilite et periodicite sont etudiees. Nous developpons une approche qui consiste a borner les processus de charge et les processus de sortie. Nous etendons les resultats connus pour une station en isolation. Le cas d'un serveur preempte est etudie pour ensuite analyser un reseau de stations en serie. Ces bornes amenent a determiner des conditions de faisabilite. L'extension des resultats qui precedent est envisagee pour le cas d'un reseau circulaire