Projet REFLECS

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

Rapport d'activité 1995

Page WWW du projet

Localisation : Rocquencourt

Mots clefs : 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 performance, raisonnement d'adversité, méthodologie de conception, génie système

• Table des matières
• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Algorithmique TRDF
    • Systèmes Transactionnels Répartis Temps Réel ()
    • Systèmes Critiques Embarqués Prouvables
  • Appartenance à un groupe
  • Ordonnancement temps réel non préemptif
  • Ordonnancement réparti temps réel non préemptif
  • Méthodologie TRDF pour la conception et le dimensionnement prouvables de systèmes critiques complexes
• Actions industrielles
  • Projet Esprit III LAURA
  • Normalisation à l'ETSI dans le comité RES10
    • Accès multiple
    • Routage
    • Gestion de trafic ``temps réel'' par des priorités d'accès
  • Avionique Modulaire
• Actions nationales et internationales
  • Coopération avec les Pays-Bas
  • Coopération avec la Tunisie
  • Coopération avec le Brésil
  • Cabernet
  • Participation à comités de programme
• Diffusion des résultats
  • Enseignement
  • Participation à des conférences et colloques
  • Activités extérieures
    • ETSI
    • Méthodologie TRDF
• Références
• Abstract