Sébastien Saudrais

Qualité de Service Temporelle pour Composants Logiciels

Intégration et vérification au cours du développement, de la spécification au code

• Broschiertes Buch

Produktbeschreibung

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 ce livre 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 l'implémentation du processus de gestion de la qualité de service temporelle et nous l'utilisons sur un cas d'application.

Produktdetails

• Verlag: Éditions universitaires européennes
• Seitenzahl: 144
• Erscheinungstermin: 7. Januar 2011
• Französisch
• Abmessung: 220mm x 150mm x 9mm
• Gewicht: 233g
• ISBN-13: 9786131553172
• ISBN-10: 6131553173
• Artikelnr.: 32747445

Autorenporträt

Sébastien Saudrais, docteur en informatique, estEnseignant/Chercheur à L¿ESTACA, école d¿ingénieurs. Sesthématiques de recherche sont l¿utilisation de l¿ingénierie desmodèles et l¿intégration des propriétés temporelles pour assurerle développement des systèmes embarqués.