Vérification et analyse de performance d'un protocole de gestion de session - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

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

Abstract

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.
Fichier principal
Vignette du fichier
CFIP-ID-30.pdf (1.5 Mo) Télécharger le fichier
Loading...

Dates and versions

inria-00111718 , version 1 (20-11-2006)

Identifiers

  • HAL Id : inria-00111718 , version 1

Cite

Dario Vieira, Ana Cavalli. Vérification et analyse de performance d'un protocole de gestion de session. CFIP 2006: Colloque Francophone sur l'Ingénierie des Protocoles, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. 12 p. ⟨inria-00111718⟩
92 View
313 Download

Share

Gmail Facebook Twitter LinkedIn More