Production Cell

Description:Usage of multiway rendezvous in the setting of a production cell benchmark
Author(s):Hubert Garavel, Wendelin Serwe
Tool(s): LNT (CADP), LOTOS (CADP)
Event:MARS'17
Paper:Formal The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

Abstract

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.

Model(s)

LNT (CADP):  Download Model
Browse Model
LOTOS (CADP):  Download Model
Browse Model
Creative Commons License    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.