Downloads provided by UsageCounts
handle: 2117/100199 , 20.500.14243/321020
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'). Peer Reviewed
Màquines, Teoria de, Communication behaviour, Reactive components, Construction engineering, H.3.4 INFORMATION STORAGE AND RETRIEVAL. Systems and Software. Distributed systems, F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency, Compatibility, Machine theory, Team automata, Systems-of-systems, Correct communications, F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata, Multi-component systems, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Automata theory, Multicomponent systems, E.4 CODING AND INFORMATION THEORY. Formal models of communication, Master-slave synchronisations, :Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Correctby, Program verification, Synchronisation policy, Correct-by-construction
Màquines, Teoria de, Communication behaviour, Reactive components, Construction engineering, H.3.4 INFORMATION STORAGE AND RETRIEVAL. Systems and Software. Distributed systems, F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency, Compatibility, Machine theory, Team automata, Systems-of-systems, Correct communications, F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata, Multi-component systems, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Automata theory, Multicomponent systems, E.4 CODING AND INFORMATION THEORY. Formal models of communication, Master-slave synchronisations, :Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Correctby, Program verification, Synchronisation policy, Correct-by-construction
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 8 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 39 | |
| downloads | 76 |

Views provided by UsageCounts
Downloads provided by UsageCounts