The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark - Université Grenoble Alpes Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

Résumé

The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We illustrate the advantages of this paradigm on the production cell benchmark, a model of a real metal processing plant, for which we propose a compositional software controller, which is written in LNT and LOTOS, and makes intensive use of the multiway rendezvous.
Fichier principal
Vignette du fichier
Garavel-Serwe-17.pdf (351.15 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01511847 , version 1 (21-04-2017)

Identifiants

Citer

Hubert Garavel, Wendelin Serwe. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. pp.230 - 270, ⟨10.4204/EPTCS.244.10⟩. ⟨hal-01511847⟩
368 Consultations
195 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More