Table des matières

• 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