Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/inria-00111718
Contributor : Inria Rhône-Alpes Documentation <>
Submitted on : Monday, November 20, 2006 - 11:32:41 AM
Last modification on : Wednesday, November 25, 2020 - 3:26:56 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 7:06:52 PM

Identifiers

  • HAL Id : inria-00111718, version 1

Citation

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⟩

Share

Metrics

Record views

231

Files downloads

705