Conditions for compatibility of components: The case of masters and slaves
Visualitza/Obre
10.1007/978-3-319-47166-2_55
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/100199
Tipus de documentText en actes de congrés
Data publicació2016
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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').
CitacióBeek, 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.
ISBN978-3-319-47166-2
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
ISoLA2016_086_final_v1-1.pdf | 179,9Kb | Visualitza/Obre |