Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Local Planning of Multiparty Interactions with Bounded Horizon (2016)
Local Planning of Multiparty Interactions with Bounded Horizon (2016)
TR-2016-5.pdf
Keywords: Distributed Real-Time Systems, Timed Automata, Knowledge
Abstract: Dynamic scheduling of distributed real-time systems with multiparty interactions is acknowledged to be a very hard task. For such systems, multiple schedulers are used to coordinate the parallel activities of remotely running components. In order to ensure global consistency and timing constraints, these schedulers must cope with significant communication delays while moreover, use only point-to-point message passing as communication primitive on the platform. In this paper, we investigate a formal model for such systems as compositions of timed automata subject to multiparty interactions and we propose a distributed implementation method aiming to overcome the communication delays problem through planning ahead interactions. Moreover, we develop static conditions allowing to make the planning decisions local to different schedulers and thus to decrease the overall coordination overhead. The method has been implemented and we report preliminary results on benchmarks.
