Une Approche Intégrée, Dirigée par les Modèles, pour la Spécification et l’Analyse des Propriétés Non-Fonctionnelles des Systèmes Temps Réel
Institution:
Evry-Val d'EssonneDisciplines:
Directors:
Abstract EN:
Despite the potential benefits of Model Driven Engineering in the real-time systems domain, there is a lack of suitable mechanisms for specifying non-functional aspects (e. G. Performance, reliability) as well as of efficient methodologies for integrating non-functional analysis techniques and tools in a global design decision process. To overcome these limitations, this thesis proposes a set of extensions to UML (Unified Modeling Language): 1) a generic framework for specifying accurate non-functional properties, 2) a specialized profile that allows annotating design models for enabling their schedulability analysis, and 3) a generic set of high-level constructs to compose complex analysis contexts from parameterized building blocks. Besides, we also define methodological guidelines and usage constraints that help users to integrate multiple analysis techniques in order to evaluate globally optimal resource selection, allocation and configuration.
Abstract FR:
Bien que présentant de nombreux avantages, l'Ingénierie Dirigée par les Modèles manque d’une part de mécanismes pour spécifier les aspects non-fonctionnels (par ex. Performance) des applications temps réel, et d’autre part de méthodologies pour intégrer des outils d’analyse non-fonctionnelle dans un processus global d'aide à la conception. En réponse à ces limitations, cette thèse propose trois extensions à UML (Unified Modeling Language): 1) une infrastructure générique pour spécifier précisément des propriétés non-fonctionnelles, 2) un profil spécialisé pour annoter des modèles de conception afin de permettre leur analyse d'ordonnançabilité, et 3) un ensemble de concepts génériques de haut-niveau pour composer des contextes d'analyse à partir de modules paramétrés. Des règles méthodologiques sont également proposées pour favoriser l’intégration de multiples techniques d'analyse afin d’évaluer des choix d’allocation et de configuration de ressources d’une manière globalement optimale.