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.
Type de document :
Rapport
[Rapport de recherche] RR-2790, INRIA. 1996, pp.31
Liste complète des métadonnées

https://hal.inria.fr/inria-00073900
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:02:27
Dernière modification le : lundi 12 février 2018 - 11:52:02
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:01:13

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

141

Téléchargements de fichiers

100