Abstract FR:

Cette these se situe dans le contexte de systemes distribues bases sur des reseaux de communication temps-reel (can, fip, arinc 629 cp) permettant d'implanter des applications de controle-commande. Ces systemes doivent offrir une qualite de service de transfert d'information qui permet de garantir les performances des applications considerees. Le but de ce travail est d'evaluer la qualite de service du systeme distribue (et plus particulierement, du reseau de communication) et de lier cette qualite de service aux performances d'une application. Ce travail necessite deux types de modelisations : une modelisation de type informatique et reseaux de communication qui est effectuee au moyen des reseaux de petri temporises stochastiques ; une modelisation de type automatique, pour l'application de controle-commande, qui est effectuee au moyen du concept de fonction de transfert base sur la transformee de laplace. Dans un premier temps, on etudie des mecanismes protocolaires de la couche mac des reseaux de communication, ce qui permet de verifier leurs proprietes temps-reel et de tolerance aux pannes. Dans un deuxieme temps, l'etude de l'ordonnancabilite des messages periodiques est effectuee, ce qui permet de comparer les strategies d'ordonnancement des trois reseaux. Enfin, en considerant la mise en uvre d'une application de controle-commande au moyen de chacun de ces trois reseaux, nous montrons l'influence des parametres caracteristiques de la qualite de service (pertes, gigues, delai des messages du a l'ordonnancement, protocole de transfert de donnees) sur la stabilite de l'application de controle-commande. Cette etude etant basee sur une modelisation approchee (dans le cas des pertes), une simulation a ete faite sous simulink afin d'evaluer les consequences de cette approximation.