, 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
Extending SysML with AADL concepts for comprehensive system architecture modeling, European Conference on Modelling Foundations and Applications, pp.236-252, 2011. ,
From UML to AADL: an Explicit Execution Semantics Modelling with MARTE, ERTS, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01179680
Combining SysML and AADL for the design, validation and implementation of critical systems, p.117, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00669391
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
Model driven design and aspect weaving, Software and Systems Modeling, vol.7, pp.209-218, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00468233
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
ATL: a QVT-like transformation language. a QVT-like transformation language, 2006. ,
Scheduling and Memory Requirements Analysis with AADL, Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada, pp.1-10, 2005. ,
Model Driven Engineering with Capella and AADL, vol.0, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01266591
Matching modelsnippets, International Conference on Model Driven Engineering Languages and Systems, pp.121-135, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477558
Cheddar -a flexible real time scheduling framework, SIGAda, pp.1-8, 2004. ,
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. ,
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
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. ,