Specification et implantation d'algorithmes sur une architecture distribuee heterogene avec l'approche des langages synchrones

par FREDERIC BIZOUERNE

Thèse de doctorat en Sciences appliquées

Sous la direction de Roger Reynaud.

Soutenue en 1998

à Paris 11 .

    mots clés mots clés


  • Résumé

    La conception et la maitrise des systemes embarques temps reel constituent un challenge dont l'importance est sans cesse croissante. La complexite de ces systemes est fonction des traitements, du caractere distribue et des contraintes temps reel, qui composent leurs caracteristiques inherentes. Pour mener a bien le developpement de l'application prometheus prochip ii, s'inscrivant dans ce domaine des systemes temps reel, l'equipe architecture pour le controle de processus de l'institut d'electronique fondamentale a decide de recentrer ses activites sur le prototypage des systemes complexes embarques. Une voie de developpement adoptee fut l'approche synchrone. L'objectif de cette these a donc ete de mettre en uvre et d'evaluer une methodologie associant le langage synchrone signal pour les specifications temporelles, et l'outil syndex pour le placement optimise et la generation de code automatique. Le travail, decompose en deux parties, fut de mieux cerner les avantages et les limites de cette methodologie sur l'application complexe. La premiere partie concerne la specification en temps logique avec signal de l'ensemble de l'application en detaillant surtout trois points : le systeme expert, le filtrage de donnees binaires et l'appariement temporel de donnees capteurs. Le but a ete de specifier ces differentes parties en faisant ressortir au maximum le parallelisme potentiel des algorithmes, afin d'obtenir le meilleur rendement possible lors de l'implantation sur une architecture materielle heterogene. La seconde partie s'interesse a la synthese materielle de la description issue de signal, a l'aide de syndex, qui produit un executif distribue temps reel denue d'interblocages. Nous decrivons les problemes, principalement dus aux horloges, rencontres lors du passage de signal a syndex, et les solutions adoptees.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 185 P.
  • Annexes : 108 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013858
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.