Ingénierie des protocoles et qualité de service

Auteur(s) : Ana Cavalli
Editeur : Hermès - Lavoisier

Nombre de pages : 262 pages
Date de parution : 22/01/2002

twitter facebook linked in viadeo |

» Donnez votre avis à propos de ce livre

Résumé

Ingénierie des protocoles et QdS présente des techniques de spécification formelle permettant l'expression des contraintes de QdS. Les auteurs présentent des techniques ou des langages permettant de décrire des protocoles et des services de manière précise et non ambiguë et montrent comment décrire des contraintes de QdS en utilisant ces langages, à travers la présentation des mécanismes qu'ils offrent et d'exemples d'applications. Ils couvrent différentes techniques de description formelle et différents aspects de la QdS, par exemple les exigences temporelles de celle-ci, ses mécanismes de support dans l'internet, la QdS et les normes, l'évaluation et la modélisation des performances,...

Sommaire

Introduction

Chapitre 1. Automates temporisés et expression de la QdS

Chapitre 2. Les normes pour la qualité de service

Chapitre 3. Spécification formelle pour la QdS dans l'internet

Chapitre 4. L'évaluation de performances avec Estelle

Chapitre 5. La notation ASN.1

Chapitre 6. Introduction à E-LOTOS

Bibliographie

Index