Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2790.pdf (445.78 Ko) Télécharger le fichier

Dates and versions

inria-00073900 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073900 , version 1

Cite

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⟩
77 View
78 Download

Share

Gmail Facebook Twitter LinkedIn More