Skip to main content

2015 | OriginalPaper | Buchkapitel

New Solutions for Useful Execution Models of Communicating Adaptive RA2DL

verfasst von : Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane

Erschienen in: Intelligent Software Methodologies, Tools and Techniques

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat 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) 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)
2.
Zurück zum Zitat 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) CrossRef 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) CrossRef
3.
Zurück zum Zitat 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) 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)
4.
Zurück zum Zitat 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 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
5.
Zurück zum Zitat Khalgui, M.: Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198–212 (2010)MATHCrossRef Khalgui, M.: Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198–212 (2010)MATHCrossRef
6.
Zurück zum Zitat Khalgui, M.: Distributed reconfigurations of autonomous iec61499 systems. ACM Trans. Embed. Comput. Syst. 12(1), 18:1–18:23 (2013)MathSciNet Khalgui, M.: Distributed reconfigurations of autonomous iec61499 systems. ACM Trans. Embed. Comput. Syst. 12(1), 18:1–18:23 (2013)MathSciNet
7.
Zurück zum Zitat 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 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
8.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat SAE: Architecture analysis & design language (standard SAE as5506), September 2004 SAE: Architecture analysis & design language (standard SAE as5506), September 2004
10.
Zurück zum Zitat 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) 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)
11.
Zurück zum Zitat 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) CrossRef 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) CrossRef
12.
Zurück zum Zitat 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 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
Metadaten
Titel
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL
verfasst von
Farid Adaili
Olfa Mosbahi
Mohamed Khalgui
Samia Bouzefrane
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-22689-7_7