From Mutually Non-Blocking to Switched Non-Blocking DES

Résumé : La propriété de système à événements discrets mutuellement non-bloquants a été introduite par Fabian and Kumar (1997). Dans ce papier, nous proposons une extension de cette propriété de 2 à 3 éléments. Nous donnons ensuite une définition de système non-bloquant par commutations, et nous montrons que la propriété "mutuellement non-bloquant" est incluse dans celle de "non-bloquant par commutations". Nous illustrons ce resultat à travers un exemple de système de conversion de protocole, dans lequel le protocole commute entre deux spécifications.
Type de document :
Document associé à des manifestations scientifiques
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00876645
Contributeur : Hervé Marchand <>
Soumis le : vendredi 25 octobre 2013 - 11:38:08
Dernière modification le : jeudi 15 mars 2018 - 14:28:04
Document(s) archivé(s) le : lundi 27 janvier 2014 - 12:55:24

Fichier

Canu.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00876645, version 1

Collections

Citation

Michael Canu, Naly Rakoto-Ravalontsalama. From Mutually Non-Blocking to Switched Non-Blocking DES. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. 〈hal-00876645〉

Partager

Métriques

Consultations de la notice

310

Téléchargements de fichiers

74