Qualité de Service temporelle pour composants logiciels

par Sébastien Saudrais

Thèse de doctorat en Informatique

Sous la direction de Jean-Marc Jézéquel.

Soutenue en 2007

à Rennes 1 .


  • Résumé

    La qualité de service temporelle permet à l’utilisateur d’une application à composants d’estimer les propriétés extra-fonctionnelles l’application. Afin d’obtenir une estimation précise de la qualité, les informations de qualité de service temporelle doivent être présentes durant le processus de développement de l’application, de la spécification jusqu’à l’implantation. La contribution de cette thèse est la définition d’un processus de gestion de la qualité de service temporelle pendant le développement d’une application à composants. Nous nous intéressons dans un premier temps à l’introduction des informations temporelles lors de la spécification de l’application. Nous utilisons une approche à base de motifs pour intégrer le temps dans la spécification de l’application. Dans un second temps, nous fournissons un moniteur de qualité de service temporelle à partir de la spécification. Le moniteur s’assure, pendant l’exécution, que l’application respecte la qualité de service temporelle requise par la spécification. Finalement, nous décrivons notre outil Thot implantant le processus de gestion de la qualité de service temporelle et nous l’utilisons sur un cas d’application.

  • Titre traduit

    Time quality od service for software components


  • Résumé

    Time quality of service helps a component based application’s user to estimate the extrafunctionnal properties of the application. In order to have a precise valuation of the quality, time quality of service information must occur all along the application’s development process, from the specification to the implementation. The contibution of this work is the definition of a time quality of service process during a component based application. Firstly, we describe timed information’s introduction during the application’s specification. We use a pattern based approach in order to integrate time in the application’s specification. Secondly, a quality of service monitor is produced from the specification. The monitor makes sure that, during the execution, the application respect the time quality of service required by the specification. Finally, we describe our tool Thot implementing the time quality of service process and we use it on a case study.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (123 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 115-118

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 2007/104
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Disponible pour le PEB
  • Cote : D.2 - SAU

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2007REN1S104
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.