. Ecsel-ju-megam@rt2-project-website, , 2019.

W. Afzal, H. Bruneliere, D. D. Ruscio, A. Sadovykh, S. Mazzini et al., The MegaM@Rt2 ECSEL project: MegaModelling at Runtime -Scalable model-based framework for continuous development and runtime validation of complex systems, Microprocessors and Microsystems, vol.61, pp.86-95, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01810002

W. Afzal, H. Bruneliere, D. D. Ruscio, A. Sadovykh, S. Mazzini et al., The MegaM@Rt2 ECSEL project: MegaModelling at runtime -Scalable model-based framework for continuous development and runtime validation of complex systems, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01810002

B. Fitzgerald and K. Stol, Continuous software engineering: A roadmap and agenda, vol.123, pp.176-189, 2017.

, ISO/IEC/IEEE International Standard -Systems and Software Engineering -Life cycle processes -Requirements engineering, ISO/IEC/IEEE 29148:2018(E), pp.1-104, 2018.

, ISO/IEC Systems and Software Engineering -Systems and software Quality Requirements and Evaluation (SQuaRE) -System and software quality models, pp.1-34, 2011.

D. Di-ruscio, R. F. Paige, and A. Pierantonio, Guest editorial to the special issue on success stories in model driven engineering, Sci. Comput. Program, vol.89, pp.69-70, 2014.

, OMG: Model Driven Architecture (MDA) Guide rev. 2.0, 2019.

A. Sadovykh, A. Bagnato, D. Truscan, P. Pierini, H. Bruneliere et al., Advances in Intelligent Systems and Computing: Selected Papers from the 6th international Conference in Software Engineering for Defense Applications, 2018.

S. Ali, L. C. Briand, A. Arcuri, and S. Walawege, An industrial application of robustness testing using aspect-oriented modeling, uml/marte, and search algorithms, Model Driven Engineering Languages and Systems, pp.108-122, 2011.

B. Selic, The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.

T. Robert, V. Perrier, . Methodology, M. Uml:-uml-sysml, C. Flow-for et al., , 2019.

A. Koudri, J. Champeau, J. Le-lann, and V. Leilde, Mopcom methodology: Focus on models of computation, Modelling Foundations and Applications, pp.189-200, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00517464

J. Vidal, F. De-lamotte, G. Gogniat, P. Soulard, and J. Diguet, A co-design approach for embedded system modeling and code generation with uml and marte, 2009 Design, Automation Test in Europe Conference Exhibition, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00369036

A. W. Liehr, K. J. Buchenrieder, H. S. Rolfs, and U. Nageldinger, Generation of MARTE Allocation Models fromActivity Threads, 2009.

S. Ali, T. Yue, and L. Briand, Assessing quality and effort of applying aspect state machines for robustness testing: A controlled experiment, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013.

S. Ali, T. Yue, and L. C. Briand, Does aspect-oriented modeling help improve the readability of uml state machines?, Software and Systems Modeling, vol.13, pp.1189-1221, 2014.

M. Wimmer, A. Schauerhuber, G. Kappel, W. Retschitzegger, W. Schwinger et al., A survey on uml-based aspect-oriented design modeling, ACM Computing Surveys, vol.43, issue.4, p.33, 2011.

S. Chiba and R. Ishikawa, Aspect-oriented programming beyond dependency injection, Proceedings of the 19th European Conference on Object-Oriented Programming, 2005.

M. Szvetits and U. Zdun, Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime, Software & Systems Modeling, vol.15, pp.31-69, 2016.

G. Blair, N. Bencomo, and R. B. France, Models@ run.time, vol.42, pp.22-27, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00733338

E. Cariou, O. L. Goaer, F. Barbier, and S. Pierre, Characterization of adaptable interpreted-dsml, Proceedings of the 9th European Conference on Modelling Foundations and Applications, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01909109

A. Filieri, C. Ghezzi, and G. Tamburrelli, Run-time efficient probabilistic model checking, Proceedings of the 33rd International Conference on Software Engineering, 2011.

A. A. Bayazit and S. Malik, Complementary use of runtime validation and model checking, Proceedings of the 2005 IEEE/ACM International Conference on Computer-aided Design, pp.1052-1059, 2005.

H. Bruneliere, S. Mazzini, and A. Sadovykh, DeCPS Workshop, 22nd International Conference on Reliable Software Technologies -Ada-Europe, 2017.

, OMG: OMG Systems Modeling Language (OMG SysML), Ver. 1.4, 2019.

, OMG: Unified Modeling Language (UML), Ver. 2.5, 2019.

P. Desfray, Model repositories at the enterprises and systems scale the modelio constellation solution, 3rd International Conference on Model-Driven Engineering and Software Development (MODEL-SWARD), p.2015, 2015.

D. Flemström, E. Enoiu, W. Afzal, D. Sundmark, T. Gustafsson et al., From natural language requirements to passive test cases using guarded assertions, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018.

D. Brahneborg, W. Afzal, and A. Causevic, A black-box approach to latency and throughput analysis, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, p.2017

A. Tsadimas, M. Nikolaidou, and D. Anagnostopoulos, Extending sysml to explore non-functional requirements: The case of information system design, Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012.

M. R. Sena-marques, E. Siegert, and L. Brisolara, Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain, 12th IEEE International Conference on Industrial Informatics, 2014.

M. Jamro, Sysml modeling of functional andnon-functional requirements foriec61131-3 control systems, Progress in Automation, Robotics and Measuring Techniques, pp.91-100, 2015.

A. Bagnato, L. S. Indrusiak, I. R. Quadri, M. Rossi, M. Bourdellés et al., Fostering analysis from industrial embedded systems modeling, Handbook of Research on Embedded Systems Design, pp.283-300, 2014.

H. Bruneliere, F. M. De-kerchove, G. Daniel, and J. Cabot, Towards scalable model views on heterogeneous model resources, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.334-344, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01845976