next up previous
Next: DEFINITIONS ET OBJECTIFS

Spécification, vérification, optimisation des systèmes distribués temps réel embarqués
Adéquation Algorithme Architecture

Yves SOREL

INRIA-Rocquencourt
BP105 78153 Le Chesnay CEDEX
Tel : (1) 39 63 52 60, Fax : (1) 39 63 57 86, email : yves.sorel@inria.fr http://www-rocq.inria.fr/syndex

PLAN

  1. Définitions et objectifs
  2. Spécification des Algorithmes
    • Modèles d'Algorithmes
    • Langages classiques de spécification
    • Langages Synchrones
    • Présentation de SIGNAL
    • Exemple de spécification avec SIGNAL
  3. Spécification des Architectures multicomposant
    • Caractéristiques générales des Architectures
    • Architecture interne de DSP
    • Classification des Architectures parallèles
    • Communications
    • Architecture interne des processeurs de traitement du signal
    • Modèle d'Architecture multicomposant
  4. Implantation
    • Distribution et ordonnancement
    • Optimisations
    • Génération d'exécutifs
  5. SynDEx logiciel d'aide à l'implantation
  6. Conclusion



Yves Sorel
Thu Nov 20 19:17:30 MET 1997