F. Adaili, O. Mosbahi, and S. Bouzefrane, Ra2dl: New flexible solution for adaptive aadl-based control components. 5th international conference on Pervasive and embedded computing and communication systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01126501

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, 1998.

C. Angelov, K. Sierszecki, and N. Marian, Design models for reusable and reconfigurable state machines, Proc. of EUC 2005, vol.3824, pp.152-163, 2005.

B. Baudry, F. Fleurey, J. Jezequel, and Y. Le-traon, Automatic test case optimization using a bacteriological adaptation model: application to .net components, Proceedings. ASE 2002. 17th IEEE International Conference on, pp.253-256, 2002.

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaal;a tool suite for automatic verification of real-time systems, pp.232-243, 1996.

P. Costa, G. Coulson, C. Mascolo, G. P. Picco, and S. Zachariadis, The runes middleware: a reconfigurable component-based approach to networked embedded systems, Personal, Indoor and Mobile Radio Communications, 2005. PIMRC 2005. IEEE 16th International Symposium on, vol.2, pp.806-810, 2005.

M. Sousa, Data-type checking of iec61131-3 st and il applications, Emerging Technologies Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp.1-8, 2012.

M. Khalgui, Nces-based modelling and ctl-based verification of reconfigurable embedded control systems, Comput. Ind, vol.61, issue.3, pp.198-212, 2010.

M. Khalgui, Distributed reconfigurations of autonomous iec61499 systems, ACM Trans. Embed. Comput. Syst, vol.12, issue.1, p.23, 2013.

D. Kimpe, P. H. Carns, K. Harms, J. M. Wozniak, S. Lang et al., Aesop: Expressing concurrency in high-performance system software, NAS, pp.303-312, 2012.

J. Lee and J. Kim, A methodology for developing component-based software with generation and assembly processes, The 6th International Conference on, vol.2, pp.696-699, 2004.

Y. Liu, I. Gorton, A. Liu, and S. Chen, Evaluating the scalability of enterprise javabeans technology, Software Engineering Conference, pp.74-83, 2002.

F. Luders, Adopting a software component model in real-time systems development, Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard, pp.114-119, 2003.

J. Magee and J. Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT '96, pp.3-14, 1996.

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00444077

K. Palma, Y. Eterovic, and J. M. Murillo, Extending the rapide adl to specify aspect oriented software architectures, SEDE, pp.170-167, 2006.

A. Prijic, Z. Prijic, D. Vuc-kovic, and A. Stanimirovic, Aadl modeling of m2m terminal, Microelectronics Proceedings (MIEL), 2010 27th International Conference on, pp.373-376, 2010.

N. Martijn, C. Rooker, T. Sünder, A. Strasser, O. Zoitl et al., Zero downtime reconfiguration of distributed automation systems: The εcedac approach, Proceedings of the 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing, HoloMAS '07, pp.326-337, 2007.

. Sae, Architecture analysis & design language (standard sae as5506), 2004.

Y. Seo, Y. Song, and H. Jeong, Acme-based connector interface considering component important factor, SKG International Conference on Semantics, Knowledge and Grid (SKG 2005), p.54, 2005.

O. Sokolsky and A. Chernoguzov, Performance analysis of AADL models using real-time calculus, Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop, pp.227-249, 2008.

. Teng-teng-zhang, L. Jian-min-wu, H. Y. Qi, and . Xu, Architecture analysis and design language amp; harmony system engineering process, Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp.7-9, 2012.

T. Vergnaud, L. Pautet, and F. Kordon, Using the aadl to describe distributed applications from middleware to software components, Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'05, pp.67-78, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01493416

Y. Wang, D. Ma, Y. Zhao, L. Zou, and X. Zhao, An aadl-based modeling method for arinc653-based avionics software, Computer Software and Applications Conference (COMPSAC), pp.224-229, 2011.

L. Zhu, X. Li, H. Ouyang, Y. Wang, W. Liu et al., Research on component-based approach load modeling based on energy management system and load control system, Innovative Smart Grid Technologies -Asia (ISGT Asia), pp.1-6, 2012.