ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 11:40 - 12:20 at S510 - Behavioural models and parametrised systems Chair(s): Tiziana Margaria

The BIP (Behavior, Interactions, Priorities) framework is intended to the design and analysis of complex, heterogeneous embedded applications. It allows the construction of hierarchically structured models by coordinating components using highly expressive glue operators (i.e. connectors/interactions and priorities).

In this talk we first revisit previous work on glue expressiveness, and show the limitations of existing implementations of BIP with respect to both expressiveness and runtime performance. Then, we propose new notions of interactions and connectors to overcome those limitations. These new glue operators have the expressivity of the universal glue, and are much more compact for specifying data transfers. They also allow straightforward generation of efficient implementation code.

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Behavioural models and parametrised systemsMeTRiD at S510
Chair(s): Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre
11:00
40m
Talk
Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
MeTRiD
Nathalie Bertrand INRIA Rennes, Igor Konnov Inria Nancy, Marijana Lazić TU Wien, Josef Widder TU Wien
11:40
40m
Talk
Revisiting the Glue of BIP
MeTRiD
Jacques Combaz Verimag/CNRS
12:20
40m
Talk
Programming Dynamic Reconfigurable Systems with DR-BIP
MeTRiD
Rim El Ballouli Verimag, Saddek Bensalem Verimag, Marius Bozga Verimag/CNRS, Joseph Sifakis Verimag/CNRS