Model-driven methods for dynamic analysis applied to energy-aware software engineering
Méthodes dirigées par les modèles pour l'analyse dynamique appliquées à l'ingénierie de logiciels verts
Résumé
Model-Driven Engineering (MDE) is a process that promotes models as the central key element for all phases in a software development lifecycle. Improving the quality of a software at design time can be done by performing analysis on the model it is designed with. Performing static analysis on models is extremely common during development phases, however the limited possibilities of dynamic analysis in models prevents early improvements of software and system. This lack of dynamic analysis options is especially important in the context of energy aware software engineering: good design choices must be done early in the development cycle to optimize the energy consumption. In this thesis we propose several approaches for performing dynamic analysis on models. A first contribution injects execution traces into source code model, and a second one generates monitoring application of cyber-physical system based on design model. Several dynamic analysis use-cases for energy-efficiency are presented: either for energy estimation or to lighten the cost of regression testing.
L'ingénierie dirigée par les modèles est un processus de développement qui centralise l'utilisation de modèles à toutes les étapes de la création d'applications. Lors de la phase de conception d'une application, il est commun d'analyser son modèle afin de vérifier sa conformité. L'analyse statique de modèle est courante, cependant le manque d'informations dynamiques dans les modèles freine la détection d'anomalies tôt dans le cycle de développement. La détection d'anomalies de consommation énergétique tôt dans le cycle de développement est importante, et nécessite d'analyser dynamiquement le modèle. Cette thèse présente deux approches permettant l'analyse dynamiques de modèles. Une première contribution injectes des traces d'exécution au sein de modèles de code source, et une seconde contribution génère une application de surveillance de système cyber-physique, à partir de son modèle de conception. Plusieurs analyses dynamiques sont effectués en se reposant sur ces approches, notamment dans le cadre de l'efficacité énergétique et de l'optimisation des tests de non régression.
| Origine | Version validée par le jury (STAR) |
|---|