Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems, International Journal of Modelling, Identification and Control, vol.12, issue.3, pp.223-243, 2011. ,
Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006. ,
, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.0, 2009.
Dynamic adaptation of real-time software, ACMTrans. Comput. Syst, vol.9, pp.143-174, 1991. ,
Architecture -Driven Embedded Systems Adaptation for Supporting Vocabulary Evolution, Principles of Software Evolution, International Symposium on, vol.0, p.144 ,
Towards a Theory of Software Evolution _ And its practical impact (working paper)," Invited Talk, Proceedings Intl. Symposium on Principles of Softw. Evolution, pp.2-11, 2000. ,
An architecture based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, vol.14, issue.3, pp.54-62, 1999. ,
Design patterns for self-adaptive RTE systems specification, International Journal of Reconfigurable Computing, vol.2014, issue.8, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01107504
Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis, Proceedings of the 13th Euromicro Conference on Digital System Design, pp.706-713, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00525004
Towards a modeldriven engineering approach for developing adaptive real-time embedded systems, New Technologies of Distributed Systems, pp.261-266, 2010. ,
Offline validation of real-time application constraints considering adaptation rules, International Conference on Trust, Security and Privacy in Computing and Communications, pp.974-980, 2011. ,
A MARTE extension for global scheduling analysis of multiprocessor systems, International Symposium on Software Reliability Engineering, pp.371-379, 2012. ,
Scheduling analysis from architectural models of embedded multiprocessor systems, ACM SIGBED Review, vol.11, issue.1, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00983407
Generation of schedulable real-time component implementations, International Conference on Emerging Technologies and Factory Automation, pp.1-4, 2010. ,
Two level hierarchical scheduling algorithm for real-time multiprocessor systems, Journal of software, vol.6, issue.11, pp.2308-2320, 2011. ,
A uml/marte-based design pattern for semi-partitioned scheduling analysis, International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, pp.300-305, 2014. ,
Extending uml/martegrm for integrating tasks migrations in class diagrams, In Software Engineering Research, Management and Applications, vol.496, pp.73-84, 2013. ,
New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages, International Conference on Software Engineering and Applications, pp.330-338, 2015. ,
Aid to design and reconfiguration of the MPSOC architectures, WSMEAP, 2015. ,
Cheddar : a flexible real time scheduling framework, ACM SIGAda Ada Letters, 2004. ,