Evaluation de performances lors des évolutions d'un système

par Christophe Prevot

Projet de thèse en Informatique

Sous la direction de Alain Girault et de Sophie Quinton.

Thèses en préparation à Grenoble Alpes , dans le cadre de Mathématiques, Sciences et technologies de l'information, Informatique , en partenariat avec Institut National de Recherche en Informatique et en Automatique (laboratoire) depuis le 02-11-2015 .


  • Résumé

    Comme déjà indiqué, l'objectif de cette thèse est de fournir une méthode d'évaluation de la performance lors de mises à jour. Pour ce faire, la travail sera organisé autour de deux objectifs principaux: 1. Proposer des solutions pour l'évaluation de la performance de systèmes temps réel modélisé avec SymTA/S [4], et incluan un certain nombre de ressources (computing et communication). Pour cette phase, le doctorant devra réutiliser des résultats obtenus lors de thèses à l'Institut d'informatique et d'ingénierie des réseaux à Braunschweig [3, 6]. Ces recherches initiales ont pour but d'établir l'impact de différents paramètres sur un système. Contrairement à cela, le problème proposé concerne l'impact des mises à jour sur la satisfaction des exigences d'un système. les premiers travaux ne concernerons pas l'ajout de tâches. Un aspect clé qui sera étudié en détails sera la nature du problème. 2. Intégrer les résultats obtenus dans la première phase des travaux à une approche basée sur un modèle général, en particulier via l'outil de TEMPO. Pour cela, le doctorant sera directement intégré dans l'équipe Thales R&T qui est en charge de ces questions, il bénéficiera ainsi de l'expertise de première main. La question de recherche clé ici sera de déterminer comment l'information nécessaire à l'analyse sous-jacente peut être extraite des représentations basées sur des modèles.

  • Titre traduit

    Early Performance assessment for evolving and variable Cyber-Physical Systems


  • Résumé

    As already stated, the objective of this thesis is to deliver a method and its sup- porting techniques for early performance assessment of CPS taking into account the possibility of later upgrades (variants and evolutions). To achieve this, the work will be organized around two main objectives: 1. To propose solutions for early performance assessment of real-time systems modeled ` a la SymTA/S [4], that is, as task sets mapped onto computing and communicating resources. For this phase, the PhD student will be able to reuse results obtained during previous PhD theses at the Institute for Computer and Network Engineering in Braunschweig [3, 6]. These initial attempts focused on how varying some parameters impacts the sys- tem requirements. In contrast to this, the problem that we propose to address concerns the impact of upgrades on the satisfaction of the system requirements. This means that more precise assumptions on the way pa- rameters are expected to change will be possible. Besides, earlier work did not consider adding or removing tasks. One key aspect that will be studied in great details will be the compositional nature of the problem. 2. To integrate the results obtained in the first phase of the work into a more general model-based approach, in particular via the TEMPO tool. For that, the PhD student will be directly integrated into the team Thales Research and Technology which is in charge of these issues, thus benefiting from first-hand expertise. The key research issue here will be to determine how the information needed in the underlying analysis can be extracted from the model-based representations used by Thales system designers. Evaluation of the proposed approach will be carried on industrial case studies provided by Thales.