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.
Domaines
Génie logiciel [cs.SE]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...