RA 1995     RA 1997
Suivant : Composition de l'équipe

Projet REFLECS

Systèmes informatiques distribués temps réel tolérant les fautes

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Rocquencourt

Mots-clés : architecture répartie, algorithme de contrôle de concurrence, parallélisme asynchrone, réseau local, réseau local radio, protocole de communication, accès multiple, ordonnancement, tolérance aux fautes, consensus réparti, temps réel, application critique, système complexe, modélisation analytique, simulation, évaluation de performances, raisonnement d'adversité, méthode de conception, dimensionnement prouvé correct, génie système

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Génie système prouvable et méthode TRDF
  • Algorithmique TRDF
    • Systèmes Transactionnels Répartis Temps Réel (TR²)
    • Analyse holistique de systèmes répartis temps réel à ordonnancement par échéance la plus proche en premier
  • Algorithmes d'ordonnancement
    • Analyse de l'ordonnancement par échéance la plus proche en premier
    • Analyse des ordonnancements à priorités fixes ou dynamiques dans les cas préemptif et non préemptif
    • Comparaison des ordonnancements préemptifs statique et dynamique
• Actions industrielles
  • Avionique Modulaire
  • Avionique Temps Réel Tolérante aux Fautes
  • Contrôle-commande dans une centrale nucléaire
• Actions nationales et internationales
  • Coopération avec le CNET
  • Participation à des comités de programme
• Diffusion des résultats
  • Actions d'enseignement
  • Jury de thèse
  • Conférences et Colloques
  • Activités extérieures
• Références
• Abstract