Abstract
The paper deals with adaptive component-based control systems following the Reconfiguration Architecture Analysis and Design Language (denoted by RA2DL). A system is assumed to be composed a network of RA2DL in coordination. When a fault occurs in the plant, RA2DL component will have a lot of problems to solve such as: the management of the reconfiguration flow, the correction of execution, the synchronization of reconfiguration with the other RA2DL components and the coordination between them. A correction is proposed therefore to improve RA2DL by three layers: the first one is the Middleware reconfiguration (MR) to manage the reconfiguration of RA2DL, the second one is the Execution Controller (EC) which describes the executable and reconfiguration part of RA2DL and the third one is the Middleware Synchronization (SM) for synchronous reconfigurations. When the system is distributed on a network of RA2DL components, we propose a coordination method between them using well-defined matrices to allow feasible and coherent reconfigurations. A tool is developed to simulate our approach. All the contributions of this work are applied to a case study dealing with IEEE 802.11 Wireless LAN.
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
References
Adaili, F., Mosbahi, O., Khalgui, M., Bouzefrane, S.: Ra2dl: new flexible solution for adaptive aadl-based control components. In: 5th International Conference on Pervasive and Embedded Computing and Communication Systems (2015)
Angelov, C., Sierszecki, K., Marian, N.: Design models for reusable and reconfigurable state machines. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds.) EUC 2005. LNCS, vol. 3824, pp. 152–163. Springer, Heidelberg (2005)
Baudry, B., Fleurey, F., Jezequel, J.-M., Le Traon, Y.: Automatic test case optimization using a bacteriological adaptation model: application to .net components. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 253–256 (2002)
Costa, P., Coulson, G., Mascolo, C., Picco, G.P., Zachariadis, S.: The runes middleware: a reconfigurable component-based approach to networked embedded systems. In: IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2005, vol. 2, pp. 806–810, September 2005
Khalgui, M.: Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198–212 (2010)
Khalgui, M.: Distributed reconfigurations of autonomous iec61499 systems. ACM Trans. Embed. Comput. Syst. 12(1), 18:1–18:23 (2013)
Lee, J., Kim, J.-S.: A methodology for developing component-based software with generation and assembly processes. In: The 6th International Conference on Advanced Communication Technology, vol. 2, pp. 696–699, February 2004
Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1996, pp. 3–14. ACM, New York (1996)
SAE: Architecture analysis & design language (standard SAE as5506), September 2004
Sokolsky, O., Chernoguzov, A.: Performance analysis of AADL models using real-time calculus. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 227–249. Springer, Heidelberg (2010)
Vergnaud, T., Pautet, L., Kordon, F.: Using the AADL to describe distributed applications from middleware to software components. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 67–78. Springer, Heidelberg (2005)
Wang, Y., Ma, D., Zhao, Y., Zou, L., Zhao, X.: An aadl-based modeling method for arinc653-based avionics software. In: 2011 IEEE 35th Annual Computer Software and Applications Conference (COMPSAC), pp. 224–229, July 2011
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Adaili, F., Mosbahi, O., Khalgui, M., Bouzefrane, S. (2015). New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. In: Fujita, H., Guizzi, G. (eds) Intelligent Software Methodologies, Tools and Techniques. SoMeT 2015. Communications in Computer and Information Science, vol 532. Springer, Cham. https://doi.org/10.1007/978-3-319-22689-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-22689-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22688-0
Online ISBN: 978-3-319-22689-7
eBook Packages: Computer ScienceComputer Science (R0)