Analyse de robustesse du réseau TTP/C

Nicolas Navet 1 Bruno Gaujal 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous montrons comment utiliser de façon optimale des unités tolèrantes aux fautes (Fault-Tolerant Units - FTU) pour se prémunir contre des perturbations en rafales sur un réseau TDMA. Deux objectifs sont étudiés. Si l'on veut minimiser la probabilité de perdre toutes les répliques d'un même message, la politique optimale est de répartir la transmission des répliques dans le temps. La preuve utilise des propriétés de convexité de la probabilité de perte. Au contraire, si l'on veut minimiser la probabilité de perdre une réplique ou plus, alors la solution optimale est de transmettre les répliques regroupées dans le temps. La preuve est basée sur une technique de majoration. Finalement, nous adaptons ces résultats au cas particulier du protocole TTP/C.
Type de document :
Communication dans un congrès
GDR "Spécification Temporelle et Stochastique et Systèmes Temps Réel'' - GDR STRQDS 2003, 2003, Paris/France, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099669
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:39:57
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00099669, version 1

Collections

Citation

Nicolas Navet, Bruno Gaujal. Analyse de robustesse du réseau TTP/C. GDR "Spécification Temporelle et Stochastique et Systèmes Temps Réel'' - GDR STRQDS 2003, 2003, Paris/France, 2003. 〈inria-00099669〉

Partager

Métriques

Consultations de la notice

125