Tools

XBorne

  • XBorne est un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre. Pour un tutoriel sur les algorithmes employés, il est conseillé de regarder la page Tutoriel de ce site et en particulier les slides présentés à QEST 2007.
  • XBorne est écrit en C et est disponible sur demande par mail. Vous trouverez aussi une documentation permettant, je l'espère, de commencer à vous en servir. La version actuelle de XBORNE intègre CUT présenté à QEST 2007 et Xborne présenté à Mascots 2002.

Marmote Core

  • XBorne a été intégré dans le cadre du projet ANR MARMOTE au logiciel de modélisation et de résolution Markovienne. Le mieux est de se rendre sur la page Web du projet, ici.

PEPS

  • Nous ne travaillons plus sur les SANs et il est donc conseillé d'aller voir le site de PEPS à Grenoble.

Simulation Parfaite

  • Notre implémentation du logicel de couplage dans le passé est actuellement en cours de développement. Il est donc préférable de contacter J.M. Vincent à l'INRIA projet MESCAL pour obtenir le logicel PSI2.

SABIS

  • SABIS est un simulateur de BGP permettant de simuler ce protocole sur de grands réseaux. Le mieux est de contacter l'auteur, Houssame Yahiaoui, par mail. SABIS a été développé dans mon équipe, en C++ et en utilisant omnet++.

Bibliographie

  • Ca n'est pas vraiment un outil, mais vous trouverez ici une liste de publications utiles en BIBTEX sur les bornes stochastiques, les SAN, les Stochastic Process Algebra et les G-réseaux.