, A proper subset of AADL has been chosen as the transformation target including functional software composition, execution platform. We use it to describe continuous behaviors of Cyber-Physical System

, All of the transformations is considered at metamodel level, and then a synthesized metamodel can be used to create concrete AADL models for further analysis

, Transformation rules are formally defined, and then it is readable by human and easier to verify the correctness of transformation

S. Apel, M. Mauch, and V. Schau, Model-driven engineering tool comparison for architectures within heterogenic systems for electric vehicle, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.671-676, 2016.

R. Behjati, T. Yue, S. Nejati, L. Briand, and B. Selic, Extending SysML with AADL concepts for comprehensive system architecture modeling, European Conference on Modelling Foundations and Applications, pp.236-252, 2011.

M. Brun, T. Vergnaud, M. Faugere, and J. Delatour, From UML to AADL: an Explicit Execution Semantics Modelling with MARTE, ERTS 2008, 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, pp.2-2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00669391

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. M. Jezequel, Melange: A metalanguage for modular and reusable development of dsls, Conf on Software Language Engineering, pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

M. Elaasar, F. Noyrit, O. Badreddin, and S. Gérard, Reducing uml modeling tool complexity with architectural contexts and viewpoints, MODELSWARD. pp, pp.129-138, 2018.

H. Ergin, E. Syriani, and J. Gray, Design pattern oriented development of model transformations, Computer Languages, Systems & Structures, vol.46, pp.106-139, 2016.

P. H. Feiler and D. P. Gluch, Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language, 2012.

D. Garlan, Modeling challenges for cps systems, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems, pp.1-1, 2015.

O. M. Group, OMG Systems Modeling Language, 2017.

A. Haber, M. Look, A. N. Perez, P. M. Nazari, B. Rumpe et al., Integration of heterogeneous modeling languages via extensible and composable language components, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.19-31, 2015.

D. Harel and B. Rumpe, Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff, 2000.

J. M. 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

I. Kurtev, M. Schuts, J. Hooman, and D. J. Swagerman, Integrating interface modeling and analysis in an industrial setting, MODELSWARD. pp, pp.345-352, 2017.

E. A. Lee, Cyber Physical Systems: Design Challenges, 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp.363-369, 2008.

L. Marcé, F. Singhoff, J. Legrand, and L. Nana, Scheduling and Memory Requirements Analysis with AADL, SIGAda, pp.1-10, 2005.

D. D. Mccracken and E. D. Reilly, Backus-naur form (bnf), 2003.

, OMG: OMG Unified Modeling Language, 2015.

B. Ouni, P. Gaufillet, E. Jenn, and J. Hugues, Model Driven Engineering with Capella and AADL, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01266591

R. Ramos, O. Barais, and J. M. Jezequel, Matching model-snippets, Conf on Model Driven Engineering Languages and Systems, pp.121-135, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477558

F. Scippacercola, R. Pietrantuono, S. Russo, and A. Zentai, Model-driven engineering of a railway interlocking system, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.509-519, 2015.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar -a flexible real time scheduling framework, pp.1-8, 2004.

T. Stahl, M. Voelter, and K. Czarnecki, Model-driven software development: technology, engineering, management, 2006.

K. Suri, A. Cuccuru, J. Cadavid, S. Gérard, W. Gaaloul et al., Model-based development of modular complex systems for accomplishing system integration for industry 4.0, pp.487-495, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01474906

S. Turki, E. Senn, and D. Blouin, Mapping the MARTE UML profile to AADL, ACES-MB, pp.11-20, 2010.

J. Wang and J. Wang, A New Early Warning Method of Train Tracking Interval Based on CTC, IEEE Transactions on Intelligent Transportation Systems, pp.1-7

H. Zhao, L. Apvrille, and F. Mallet, Meta-models combination for reusing verification techniques, 7th International Conference on Model-Driven Engineering and Software Development, pp.39-50, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02080768

L. Zhu, Y. Zhang, B. Ning, and H. Jiang, Train-ground communication in CBTC based on 802.11 b: Design and performance research, CMC'09, pp.368-372, 2009.