From Mutually Non-Blocking to Switched Non-Blocking DES - Modélisation des Systèmes Réactifs - MSR'13 Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2013

From Mutually Non-Blocking to Switched Non-Blocking DES

Résumé

The mutually non-blocking property of discrete-event systems has been introduced by Fabian and Kumar (1997). In this paper, we extend the property of mutually non-blocking from 2 to 3 elements. We also propose a definition of switched non-blocking system, and we show the mutually non-blocking property is included in the switched non-blocking property. We illustrate the result with an example of protocol conversion with switched specification.
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.
Fichier principal
Vignette du fichier
Canu.pdf (22.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00876645 , version 1 (25-10-2013)

Identifiants

  • HAL Id : hal-00876645 , version 1

Citer

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⟩
198 Consultations
63 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More