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

par Huascar Espinoza Ortiz

Thèse de doctorat en Informatique

Sous la direction de François Terrier.

Soutenue en 2007

à Evry-Val d'Essonne .


  • Résumé

    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.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (191 p.)
  • Annexes : Bibliogr. p. 182-191

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Non disponible pour le PEB
  • Cote : 004.33 ESP une
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.