Room 206 (2nd floor, badged access)
7 February 2019 - 14h00
Assembling Components in BIP
by Jacques COMBAZ from CNRS, Verimag
Abstract: 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.