1 - INTRODUCTION AUX SYSTÈMES TEMPS RÉEL ET RÉPARTIS

• 1.1 - Systèmes répartis généraux : caractéristiques et problèmes de conception
  Figure 1 - Un exemple de système réparti Figure 2 - Architecture d’un système réparti
• 1.2 - Répartition matérielle et logique
• 1.3 - Systèmes temps réel répartis

2 - RÉSEAU

• 2.1 - Introduction
• 2.2 - Modèle OSI
  Figure 3 - Modèle OSI adapté aux réseaux temps réel
• 2.3 - Délai de bout en bout
• 2.4 - Protocoles
• 2.5 - Réseaux sans fil
• 2.6 - Réseau CAN
• 2.7 - Réseau AFDX
  Figure 4 - Exemple de réseau AFDX Figure 5 - Bande passante maximale générée par un VL Figure 6 - Commutateur AFDX

3 - ORDONNANCEMENT ET VALIDATION

• 3.1 - Modèle de tâches
  Figure 7 - Anomalie d'ordonnancement
• 3.2 - Analyse holistique
  Figure 8 - La gigue modélise l'attente due à la terminaison de la tâche précédente Figure 9 - Instant critique avec prise en compte des gigues sur l'activation des tâches Figure 10 - Périodes d'activités d'un processeur Figure 11 - Architecture du système étudié Tableau 1 - Caractéristiques temporelles des tâches et messages Tableau 2 - Trace de l'exécution de l'analyse holistique
• 3.3 - Autre méthode : Network Calculus
  Figure 12 - Principe de la modélisation d'un réseau par le Network Calculus Figure 13 - Modélisation des VLs AFDX en flux par le calcul réseau Figure 14 - Courbe d'arrivée de type « seau percé » Figure 15 - Modélisation d'un commutateur en nœuds Figure 16 - Courbe de service de type latence-débit Figure 17 - Configuration AFDX Figure 18 - Modélisation d'une configuration AFDX par le Network Calculus Figure 19 - Configuration composée d'un seul nœud et de deux flux Figure 20 - Scénario pire cas d'arrivée d'une trame du v1 dans le nœud S1 Figure 21 - Calcul graphique du délai et de l’arriéré de travail présent dans une file d’attente Figure 22 - Configuration avec les flux v1 traversant les nœuds S1 et S2 Figure 23 - Courbe de sortie du flux v1 Figure 24 - Configuration pour l'exemple sur la sérialisation Figure 25 - Courbe d’arrivée des flux agrégés du lien entrant IP1 Figure 26 - Courbes d'arrivée des liens a) IP2 et b) IP3 Figure 27 - Courbe d'arrivée des flux sérialisés Figure 28 - Points d'inflexion sur la courbe d'arrivée γ  (t) Figure 29 - Illustration du « Pay Burst Only Once » Tableau 3 - Caractéristiques des flux v1 et v2 Tableau 4 - Caractéristiques des flux de la figure 24 Tableau 5 - Caractéristiques de la configuration exemple Tableau 6 - Itérations sur les calculs des ETEj

4 - PLACEMENT

• 4.1 - Problèmes de validation
• 4.2 - Problèmes d'optimisation

5 - CONCLUSION