PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Carmona J., Kleijn J. Conditions for compatibility of components: the case of masters and slaves. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 784 - 805. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
 
 
Abstract
(English)
We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide spectrum of synchronisation policies to combine components into higher-level systems. We investigate the correct-by-construction engineering of such systems of systems from the point of view of correct communications between the components (no message loss or deadlocks due to indefinite waiting). This leads to a proposal for a generic definition of compatibility of components relative to the adopted synchronisation policy. This definition appears to be particularly appropriate for so-called master-slave synchronisations by which input actions (for 'slaves') are driven by output actions (from 'masters').
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55
DOI: 10.1007/978-3-319-47166-2_55
Subject Team automata
Multi-component systems
Correct-by-construction
Systems-of-systems
Compatibility
Communication behaviour
F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata
F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency
H.3.4 INFORMATION STORAGE AND RETRIEVAL. Systems and Software. Distributed systems
E.4 CODING AND INFORMATION THEORY. Formal models of communication


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional