Modeling Dynamic architectures using Dy-BIP

Marius Bozga (1) , Mohamad Jaber (1) , Nikolaos Maris (1) , Joseph Sifakis (1)

1 VERIMAG - IMAG - VERIMAG

Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component framework rooted in rigorous operational semantics and supporting a powerful and high-level set of primitives for describing dynamic interactions. These are expressed as symbolic constraints offered by interacting components and computed efficiently by an execution Engine. We present experimental results which validate the effectiveness of Dy-BIP and show significant advantages over using static architecture models.

Domaines: Systèmes embarqués

Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis. Modeling Dynamic architectures using Dy-BIP. Software Composition - 11th International Conference, SC 2012, May 2012, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-642-30564-1_1⟩. ⟨hal-00722481⟩