Skip to Main content Skip to Navigation
Reports

Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE

Olivier Festor 1 Emmanuel Nataf 1 Laurent Andrey 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : En raison de la complexité croissante des modèles de l'information basés sur l'approche OSI, les concepteurs de catalogues d'objets gérés expriment des besoins de mise en oeuvre de méthodes formelles pour valider les aspects liés au comportement de leurs spécifications. Dans le cadre d'une étude sur l'adéquation des méthodes formelles et outils existants pour la spécification des systèmes aux besoins des modèles de gestion de réseaux OSI, nous étudions plusieurs Techniques de Description Formelles et les outils disponibles. Ce rapport présente l'utilisation du langage LOBSTERS ainsi que les outils MODE et CRUSADE pour la validation par simulation interactive du modèle de gestion de la configuration de l'interconnexion de commutateurs. Cette approche propose une alternative à une étude sur l'utilisation du logiciel MEC que nous avions faite sur le même modèle.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073900
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:02:27 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Monday, April 5, 2010 - 12:01:13 AM

Identifiers

  • HAL Id : inria-00073900, version 1

Collections

Citation

Olivier Festor, Emmanuel Nataf, Laurent Andrey. Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE. [Rapport de recherche] RR-2790, INRIA. 1996, pp.31. ⟨inria-00073900⟩

Share

Metrics

Record views

168

Files downloads

132