New Solutions for Useful Execution Models of Communicating Adaptive RA2DL

  • Farid Adaili
  • Olfa Mosbahi
  • Mohamed Khalgui
  • Samia Bouzefrane
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 532)


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.


Control system RA2DL Reconfiguration Execution model Coordination Synchronization Distribution 


  1. 1.
    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)Google Scholar
  2. 2.
    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) CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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 2005Google Scholar
  5. 5.
    Khalgui, M.: Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198–212 (2010)zbMATHCrossRefGoogle Scholar
  6. 6.
    Khalgui, M.: Distributed reconfigurations of autonomous iec61499 systems. ACM Trans. Embed. Comput. Syst. 12(1), 18:1–18:23 (2013)MathSciNetGoogle Scholar
  7. 7.
    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 2004Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    SAE: Architecture analysis & design language (standard SAE as5506), September 2004Google Scholar
  10. 10.
    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) Google Scholar
  11. 11.
    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) CrossRefGoogle Scholar
  12. 12.
    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 2011Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Farid Adaili
    • 1
    • 2
    • 3
  • Olfa Mosbahi
    • 1
  • Mohamed Khalgui
    • 1
  • Samia Bouzefrane
    • 3
  1. 1.LISI Laboratory, INSATUniversity of CarthageTunisTunisia
  2. 2.Tunisia Polytechnic SchoolUniversity of CarthageTunisTunisia
  3. 3.CEDRIC LaboratoryNational Conservatory of Arts and CraftsParisFrance

Personalised recommendations