RA2DL: New Flexible Solution for Adaptive AADL-based Control Components

Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane

Abstract

The paper deals with adaptive component-based control systems following the Architecture Analysis and Design Language (denoted by AADL). A system is assumed to be a network of software and hardware AADL components that share the control of corresponding physical processes. A component is composed of a set of algorithms encoding the control after any reception of external events and data signals. The termination of execution is generally done with the emission of data and event signals to remote components. According to various evolutions in environment, the system is required to be dynamically reconfigured at run-time to adapt its control functions. We are interested in local reconfigurations ofr components dealing with the activation-deactivation- update of algorithms and/or data-event inputs and outputs. We propose RA2DL as a solution for reconfigurable AADL components, and define a hierarchical-based architecture to dynamically handle all possible reconfiguration scenarios at run-time. We model and verify this solution and develop a tool for its simulation by taking a real-case study as a running example.

References

  1. Allen, R., Douence, R., and Garlan, D. (1998). Specifying and analyzing dynamic software architectures.
  2. Angelov, C., Sierszecki, K., and Marian, N. (2005). Design models for reusable and reconfigurable state machines. In in L.T. Yang et al. (Eds.): Proc. of EUC 2005, LNCS 3824, pages 152-163.
  3. Aniche, M., Oliva, G., and Gerosa, M. (2013). What do the asserts in a unit test tell us about code quality? a study on open source and industrial projects. In Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on, pages 111-120.
  4. Baudry, B., Fleurey, F., Jezequel, J.-M., and Le Traon, Y. (2002). Automatic test case optimization using a bacteriological adaptation model: application to .net components. In Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on, pages 253-256.
  5. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., and Yi, W. (1996). Uppaal; a tool suite for automatic verification of real-time systems. pages 232-243, Secaucus, NJ, USA. Springer-Verlag New York, Inc.
  6. Dissaux, P. (2004). Using the aadl for mission critical software development. 2nd European Congress ERTS, Embedded Real Time Software.
  7. Gaudel, V., Plantec, A., Singhoff, F., Hugues, J., Dissaux, P., and Legrand, J. (2013). Enforcing software engineering tools interoperability: An example with aadl subsets. In Rapid System Prototyping (RSP), 2013 International Symposium on, pages 59-65.
  8. Gharbi, A., Khalgui, M., and Ben Ahmed, S. (2013). The embedded control system through real-time task. In Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on, pages 1-8.
  9. Hugues, J. and Singhoff, F. (2009). Développement de systèmes à l'aide d'aadl- ocarina/cheddar. In Tutoriel présenté à lécole d'été temps réel.
  10. Kerboeuf, M., Plantec, A., Singhoff, F., Schach, A., and Dissaux, P. (2010). Comparison of six ways to extend the scope of cheddar to aadl v2 with osate. In Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, pages 367-372.
  11. Khalgui, M. (2010). Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind., 61(3):198-212.
  12. Khalgui, M. (2013). Distributed reconfigurations of autonomous iec61499 systems. ACM Trans. Embed. Comput. Syst., 12(1):18:1-18:23.
  13. Lee, J. and Kim, J.-S. (2004). A methodology for developing component-based software with generation and assembly processes. In Advanced Communication Technology, 2004. The 6th International Conference on, volume 2, pages 696-699.
  14. Liu, H. and Gluch, D. P. (2009). Formal verification of aadl behavior models: A feasibility investigation. In Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47, pages 36:1-36:6, New York, NY, USA. ACM.
  15. Liu, Y., Gorton, I., Liu, A., and Chen, S. (2002). Evaluating the scalability of enterprise javabeans technology. In Software Engineering Conference, 2002. Ninth AsiaPacific, pages 74-83.
  16. Lozoya, C., Velasco, M., and Marti, P. (2008). The oneshot task model for robust real-time embedded control systems. Industrial Informatics, IEEE Transactions on, 4(3):164-174.
  17. Luders, F. (2003). Adopting a software component model in real-time systems development. In Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard, pages 114-119.
  18. Medvidovic, N. and Taylor, R. N. (2000). A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93.
  19. Palma, K., Eterovic, Y., and Murillo, J. M. (2006). Extending the rapide adl to specify aspect oriented software architectures. In SEDE, pages 170-167.
  20. Peng, Z., Ma, L., and Xia, F. (2008). A low-cost embedded controller for complex control systems. In Embedded and Ubiquitous Computing, 2008. EUC 7808. IEEE/IFIP International Conference on, volume 1, pages 23-29.
  21. Perseil, I., Pautet, L., Rolland, J., Filali, M., Delanote, D., Baelen, S., Joosen, W., Berbers, Y., Mallet, F., Bertrand, D., Faucou, S., Zitouni, A., Boufaida, M., Seinturier, L., Champeau, J., Abdoul, T., Feiler, P., Mraidha, C., and Gerard, S. (2011). An efficient modeling and execution framework for complex systems development. In Engineering of Complex Computer Systems (ICECCS), 2011 16th IEEE International Conference on, pages 317-331.
  22. Pontisso, N. and Chemouil, D. (2006). Topcased combining formal methods with model-driven engineering. In Automated Software Engineering, 2006. ASE 7806. 21st IEEE/ACM International Conference on, pages 359- 360.
  23. Prijic, A., Prijic, Z., Vuc-kovic, D., and Stanimirovic, A. (2010). Aadl modeling of m2m terminal. In Microelectronics Proceedings (MIEL), 2010 27th International Conference on, pages 373-376.
  24. Rooker, M. N., Sünder, C., Strasser, T., Zoitl, A., Hummer, O., and Ebenhofer, G. (2007). Zero downtime reconfiguration of distributed automation systems: The εcedac approach. In Proceedings of the 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing, HoloMAS 7807, pages 326-337, Berlin, Heidelberg. SpringerVerlag.
  25. Seo, Y.-J., Song, Y.-J., and Jeong, H.-Y. (2005). Acmebased connector interface considering component important factor. In SKG International Conference on Semantics, Knowledge and Grid (SKG 2005), 27-29 November 2005, Beijing, China, page 54. IEEE Computer Society.
  26. teng Zhang, T., min Wu, J., Qi, L., and yu Xu, H. (2012). Architecture analysis and design language amp; harmony system engineering process. In Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pages 7D2-1-7D2-12.
  27. Tilman, J.-F. (2005). Building tool suite for aadl. In Dissaux, P., Filali-Amine, M., Michel, P., and Vernadat, F., editors, Architecture Description Languages, volume 176 of IFIP The International Federation for Information Processing, pages 197-207. Springer US.
  28. Vergnaud, T., Pautet, L., and Kordon, F. (2005). Using the aadl to describe distributed applications from middleware to software components. In Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'05, pages 67-78, Berlin, Heidelberg. Springer-Verlag.
  29. Wang, Y., Ma, D., Zhao, Y., Zou, L., and Zhao, X. (2011). An aadl-based modeling method for arinc653-based avionics software. In Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual, pages 224-229.
  30. Yang, C., Dong, Y., Zhang, F., Ahmad, E., and Gu, B. (2012). Formal semantics of aadl models with machine-readable csp. Computer and Information Science, ACIS International Conference on, 0:565- 571.
  31. Zalila, B., Pautet, L., and Hugues, J. (2008). Towards automatic middleware generation. In Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, pages 221-228.
  32. Zhu, L., Li, X., Ouyang, H., Wang, Y., Liu, W., and Shao, K. (2012). Research on component-based approach load modeling based on energy management system and load control system. In Innovative Smart Grid Technologies - Asia (ISGT Asia), 2012 IEEE, pages 1-6.
Download


Paper Citation


in Harvard Style

Adaili F., Mosbahi O., Khalgui M. and Bouzefrane S. (2015). RA2DL: New Flexible Solution for Adaptive AADL-based Control Components . In Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-758-084-0, pages 247-258. DOI: 10.5220/0005241202470258


in Bibtex Style

@conference{peccs15,
author={Farid Adaili and Olfa Mosbahi and Mohamed Khalgui and Samia Bouzefrane},
title={RA2DL: New Flexible Solution for Adaptive AADL-based Control Components},
booktitle={Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2015},
pages={247-258},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005241202470258},
isbn={978-989-758-084-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - RA2DL: New Flexible Solution for Adaptive AADL-based Control Components
SN - 978-989-758-084-0
AU - Adaili F.
AU - Mosbahi O.
AU - Khalgui M.
AU - Bouzefrane S.
PY - 2015
SP - 247
EP - 258
DO - 10.5220/0005241202470258