Thèse soutenue

Formalisation et optimisation des systèmes informatiques distribués temps réel embarqués
FR
Accès à la thèse
Auteur / Autrice : Annie Vicard
Direction : Christian Lavault
Type : Thèse de doctorat
Discipline(s) : Sciences et techniques
Date : Soutenance en 1999
Etablissement(s) : Paris 13

Résumé

FR

Après un état de l'art sur les systèmes informatiques distribués temps reel embarques, permettant de préciser la terminologie employée dans la suite, nous proposons une formalisation de ces systèmes. Cette partie décrit les modèles choisis pour l'algorithme (logiciel), l'architecture (matériel) et l'implantation (mise en correspondance logiciel materiel). L'algorithme est un hypergraphe orienté infiniment itere et conditionne ou les sommets sont des opérations de calcul et les arcs sont des dépendances de données entre ces opérations. L'architecture est un hypergraphe non orienté ou les sommets sont des unités de calcul et de communication, et les aretes sont des connexions entre ces unites. L'implantation est un hypergraphe orienté et conditionne décrivant la distribution et l'ordonnancement des calculs et des communications. Cette partie conduit a une formalisation permettant de décrire, en intention, l'ensemble des implantations valides (respectant l'ordre partiel du graphe de l'algorithme specifie au depart) d'un algorithme donne sur une architecture donnée. La deuxième partie consiste a trouver une implantation optimisée, relativement a la duree d'execution de l'algorithme (latence), parmi l'ensemble des implantations valides. Cette recherche etant un probleme np-difficile, des heuristiques sont utilisées afin d'obtenir une solution en un temps raisonnable. Après un etat de l'art sur ces heuristiques, nous proposons une heuristique gloutonne ainsi qu'une extension voisinage de cette heuristique. Ces deux heuristiques sont comparées avec d'autres proposées dans la litterature sur quelques exemples d'application. La dernière partie concerne la spécification détaillée du modèle d'algorithme conditionné et des heuristiques qui ont été integrés dans le cur du logiciel syndex, logiciel de cao niveau système pour l'implantation d'applications distribuées temps réel embarquées.