, Compared with current studies, the approach proposed in this paper has the following features: 1. Arcadia is chosen as the transformation source. Arcadia provides a broad view of system engineering as well as refined functional and physical views

[. References and . Behjati, Extending SysML with AADL concepts for comprehensive system architecture modeling, European Conference on Modelling Foundations and Applications, pp.236-252, 2011.

[. Brun, From UML to AADL: an Explicit Execution Semantics Modelling with MARTE, ERTS, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01179680

D. Saqui-sannes, P. Hugues, and J. , Combining SysML and AADL for the design, validation and implementation of critical systems, p.117, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00669391

[. Degueule, Melange: A meta-language for modular and reusable development of dsls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

J. Jezequel, Model driven design and aspect weaving, Software and Systems Modeling, vol.7, pp.209-218, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00468233

[. Jouault, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00483363

[. Jouault, ATL: a QVT-like transformation language. a QVT-like transformation language, 2006.

[. Marcé, Scheduling and Memory Requirements Analysis with AADL, Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada, pp.1-10, 2005.

[. Ouni, Model Driven Engineering with Capella and AADL, vol.0, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01266591

[. Ramos, Matching modelsnippets, International Conference on Model Driven Engineering Languages and Systems, pp.121-135, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477558

[. Singhoff, Cheddar -a flexible real time scheduling framework, SIGAda, pp.1-8, 2004.

[. Turki, Mapping the MARTE UML profile to AADL, Proceedings of the 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010), pp.11-20, 2010.

[. Zhao, Meta-models combination for reusing verification techniques, Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, vol.1, pp.39-50, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02080768

[. Zhu, Train-ground communication in CBTC based on 802.11 b: Design and performance research, Communications and Mobile Computing, 2009. CMC'09. WRI International Conference on, pp.368-372, 2009.