Formalisation et optimisation des systèmes informatiques distribués temps réel embarqués

par Annie Vicard

Thèse de doctorat en Sciences et techniques

Sous la direction de Christian Lavault.

Soutenue en 1999

à Paris 13 .

    mots clés mots clés


  • Résumé

    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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (195 p.)
  • Annexes : Bibliogr. p.183-189

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-VIC
  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TH 1999 053
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.