Talk "Compositionality of Safe Communication in Systems of Team Automata"

by Rolf Hennicker

Sun, 28 March 2021 at 10:40 am in Luxembourg, Luxembourg

Joint work with: Maurice ter Beek, Jetty Kleijn

Abstract: We study guarantees for safe communication in systems of systems composed of reactive components that communicate through synchronised execution of common actions. Systems are modelled as (extended) team automata, in which, in principle, any number of component automata can participate in the execution of a communicating action, either as a sender or as a receiver. We extend team automata with synchronisation type specifications, which determine specific synchronisation policies fine-tuned for particular application domains. On the other hand, synchronisation type specifications generate communication requirements for receptiveness and responsiveness, which prevent outputs from not being accepted and inputs from not being provided. Then we turn to the composition of systems and show that composition behaves well with respect to synchronisation type specifications. As a central result, we investigate criteria that ensure the preservation of local communication properties when (extended) team automata are composed. This is particularly challenging in the context of weak requirement satisfaction.