Vérification et analyse de performance d'un protocole de gestion de session

Résumé : Le Managed Session Protocol (MSP) est un nouveau protocole de gestion de session qui nous avons développé en collaboration avec INTEL-Cambridge [CAM ]. MSP est exécuté au dessus de la couche d'un protocole de transport et il offre des services telles que la diffusion (broadcasting), le multi-streaming, les communications multi-cibles (multi-homing) et le multisession. Ce protocole peut être utilisé par différentes applications, par exemple le protocole BGP peut bénéficier des fonctionnalités offertes par MSP. Cet article présente MSP, ainsi que les techniques de vérification formelle et d'analyse de performance, mises en place pour, d'une part, valider les propriétés de correction de MSP, et d'autre part, valider la mise en oeuvre de MSP. Pour la vérification, nous avons utilisé la technique de model checking et l'outil Simple Promela Interpreter (SPIN). En outre, nous avons employé la méthode de la logique temporelle pour la conception des invariants et des propriétés de MSP. Pour l'analyse de performance, nous avons utilisé la mise en oeuvre de MSP dans l'eXtensible Open Router Platform (XORP) [HAN 05] en utilisant BGP comme application client.
Type de document :
Communication dans un congrès
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Oct 2006, Tozeur/Tunisia, Hermès, 12 p., 2006, Session 5 : validation, vérification et test
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00111718
Contributeur : Inria Rhône-Alpes Documentation <>
Soumis le : lundi 20 novembre 2006 - 11:32:41
Dernière modification le : jeudi 11 janvier 2018 - 06:15:41
Document(s) archivé(s) le : mardi 6 avril 2010 - 19:06:52

Identifiants

  • HAL Id : inria-00111718, version 1

Collections

Citation

Dario Vieira, Ana Cavalli. Vérification et analyse de performance d'un protocole de gestion de session. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Oct 2006, Tozeur/Tunisia, Hermès, 12 p., 2006, Session 5 : validation, vérification et test. 〈inria-00111718〉

Partager

Métriques

Consultations de la notice

183

Téléchargements de fichiers

430