Abstract
DR-BIP is an extension of the BIP component framework intended for programming reconfigurable systems encompassing various aspects of dynamism. It relies on architectural motifs to structure the architecture of a system and to coordinate its reconfiguration at runtime. An architectural motif defines a set of interacting components that evolve according to reconfiguration rules. With DR-BIP, the dynamism can be captured as the interplay of dynamic changes in three independent directions (1) the organization of interactions between instances of components in a given configuration; (2) the reconfiguration mechanisms allowing creation/deletion of components and management of their interaction according to a given architectural motif; (3) the migration of components between predefined architectural motifs which characterizes dynamic execution environments. The paper lays down the formal foundation of DR-BIP, illustrates its expressiveness on few examples and discusses avenues for dynamic reconfigurable system design.
Institute of Engineering Univ. Grenoble Alpes.
The research leading to these results has received funding from the European Union Horizon 2020 research and innovation programme under grant agreement no. 700665 CITADEL (Critical Infrastructure Protection using Adaptive MILS).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Up to the choice of fresh component instance.
- 2.
Maps are restricted to simple graphs e.g., chain, cyclic, star.
References
Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 21–37. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0053581
Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)
Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: SEFM’06 Proceedings, pp. 3–12. IEEE Computer Society Press (2006)
Bliudze, S., Sifakis, J.: The algebra of connectors structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315–1330 (2008)
Bozga, M., Iosif, R., Sifakis, J.: Checking deadlock-freedom of parametric component-based systems. arXiv preprint arXiv:1805.10073 (2018)
Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using Dy-BIP. In: Gschwind, T., De Paoli, F., Gruhn, V., Book, M. (eds.) SC 2012. LNCS, vol. 7306, pp. 1–16. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30564-1_1
Bradbury, J.: Organizing definitions and formalisms for dynamic software architectures. Technical Report 2004–477, Software Technology Laboratory, School of Computing, Queen’s University (2004)
Butting, A., Heim, R., Kautz, O., Ringert, J.O., Rumpe, B., Wortmann, A.: A classification of dynamic reconfiguration in component and connector architecture description languages. In: 4th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp’17) (2017)
Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Donohoe, P. (ed.) Software Architecture. ITIFIP, vol. 12, pp. 107–125. Springer, Boston, MA (1999). https://doi.org/10.1007/978-0-387-35563-4_7
Cuesta, C., de la Fuente, P., Barrio-Solárzano, M.: Dynamic coordination architecture through the use of reflection. In: Proceedings of the 2001 ACM Symposium on Applied Computing, pp. 134–140. ACM (2001)
De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1–7:29 (2014)
Edelmann, R., Bliudze, S., Sifakis, J.: Functional BIP: embedding connectors in functional programming languages. J. Log.Al Algebr. Methods Program. 92, 19–44 (2017)
El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 8th International Symposium, ISoLA 2018 (2018), to appear
Garlan, D.: Software architecture: a travelogue. In: Future of Software Engineering (FOSE’14), pp. 29–39. ACM (2014)
Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 756–779 (2006)
Mavridou, A., Baranov, E., Bliudze, S., Sifakis, J.: Configuration logics: modeling architecture styles. J. Log. Algebr. Methods Program 86(1), 2–29 (2017)
Mavridou, A., Rutz, V., Bliudze, S.: Coordination of dynamic software components with JavaBIP. In: International Conference on Formal Aspects of Component Software, pp. 39–57. Springer (2017)
Oreizy, P.: Issues in modeling and analyzing dynamic software architectures. In: International Workshop on the Role of Software Architecture in Testing and Analysis, pp. 54–57 (1998)
Taivalsaari, A., Mikkonen, T., Syst, K.: Liquid software manifesto: The era of multiple device ownership and its implications for software architecture. In: IEEE 38th Annual Computer Software and Applications Conference (COMPSAC’14) (2014)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J. (2018). Programming Dynamic Reconfigurable Systems. In: Bae, K., Ölveczky, P. (eds) Formal Aspects of Component Software. FACS 2018. Lecture Notes in Computer Science(), vol 11222. Springer, Cham. https://doi.org/10.1007/978-3-030-02146-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-02146-7_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02145-0
Online ISBN: 978-3-030-02146-7
eBook Packages: Computer ScienceComputer Science (R0)