C. Lozoya, M. Velasco, and P. Marti, The one-shot task model for robust real-time embedded control systems, Industrial Informatics, vol.4, issue.3, pp.164-174, 2008.

Z. Peng, L. Ma, and F. Xia, A low-cost embedded controller for complex control systems, Embedded and Ubiquitous Computing, 2008. EUC '08. IEEE/IFIP International Conference on, vol.1, pp.23-29, 2008.

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.

M. N. Rooker, C. Sünder, T. Strasser, A. Zoitl, O. Hummer 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, ser. HoloMAS '07, pp.326-337, 2007.

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

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.

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.

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

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

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

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, Distributed reconfigurations of autonomous iec61499 systems, ACM Trans. Embed

, Comput. Syst, vol.12, issue.1, pp.1-18, 2013.

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

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.

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

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

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.

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, ser. 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.

T. Zhang, J. Wu, L. Qi, and H. Yu-xu, Architecture analysis and design language amp; harmony system engineering process, Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp.7-9, 2012.

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.

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

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.

C. Yang, Y. Dong, F. Zhang, E. Ahmad, and B. Gu, Formal semantics of aadl models with machinereadable csp, Computer and Information Science, vol.0, pp.565-571, 2012.

P. Feiler, B. A. Lewis, and S. Vestal, The sae architecture analysis & design language (aadl) a standard for engineering performance critical systems, IEEE International Conference on Control Applications, pp.1206-1211, 2006.

G. Lasnier, L. Pautet, J. Hugues, and L. Wrage, An implementation of the behavior annex in the aadl-toolset osate2, Engineering of Complex Computer Systems (ICECCS), pp.332-337, 2011.

I. Perseil, L. Pautet, J. Rolland, M. Filali, D. Delanote et al., An efficient modeling and execution framework for complex systems development, Engineering of Complex Computer Systems (ICECCS), pp.317-331, 2011.
URL : https://hal.archives-ouvertes.fr/hal-02288369

M. Aniche, G. Oliva, and M. Gerosa, What do the asserts in a unit test tell us about code quality? a study on open source and industrial projects, Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on, pp.111-120, 2013.

V. Gaudel, A. Plantec, F. Singhoff, J. Hugues, P. Dissaux et al., Enforcing software engineering tools interoperability: An example with aadl subsets, Rapid System Prototyping (RSP), 2013 International Symposium on, pp.59-65, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01121242

M. Kerboeuf, A. Plantec, F. Singhoff, A. Schach, and P. Dissaux, Comparison of six ways to extend the scope of cheddar to aadl v2 with osate, Engineering of Complex Computer Systems (ICECCS), pp.367-372, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00502111

N. Pontisso and D. Chemouil, Topcased combining formal methods with model-driven engineering, Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on, pp.359-360, 2006.

J. Tilman, Architecture Description Languages, ser. IFIP The International Federation for Information Processing, vol.176, pp.197-207, 2005.

B. Zalila, L. Pautet, and J. Hugues, Towards automatic middleware generation, Object Oriented Real-Time Distributed Computing (ISORC), pp.221-228, 2008.

H. Liu and D. P. Gluch, Formal verification of aadl behavior models: A feasibility investigation, Proceedings of the 47th Annual Southeast Regional Conference, ser. ACM-SE 47, vol.36, pp.1-36, 2009.

A. Gharbi, M. Khalgui, and S. Ahmed, The embedded control system through real-time task, Modeling, Simulation and Applied Optimization (ICM-SAO), pp.1-8, 2013.

P. Dissaux, Using the aadl for mission critical software development, EMBEDDED REAL TIME SOFTWARE, 2004.
URL : https://hal.archives-ouvertes.fr/hal-02270507

J. Hugues and F. Singhoff, Développement de systèmes à l'aide d'aadl-ocarina/cheddar, Tutoriel présenté à l'école d'été temps réel, 2009.