Conditions for compatibility of components: The case of masters and slaves
Document typeConference report
Rights accessOpen Access
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').
CitationBeek, M., Carmona, J., Kleijn, J. Conditions for compatibility of components: The case of masters and slaves. A: International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. "Leveraging Applications of Formal Methods, Verification and Validation: Foundational techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016: proceedings". Corfu: Springer, 2016, p. 784-805.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder