Thèse de doctorat en Informatique
Sous la direction de Philippe Dague.
Soutenue en 1997
à Paris 13 .
L'utilisation de techniques de raisonnement sur les modeles permet une representation de la connaissance plus facile a acquerir et a maintenir qu'une expertise directe. Neanmoins, la combinatoire associee a ces techniques ne permet pas d'envisager un systeme temps-reel s'appuyant directement sur celles-ci. Nous proposons un systeme de supervision des reseaux de telecommunication s'appuyant, d'une part sur la generation hors ligne de sequences temporelles d'alarmes, aussi appelees chroniques ou scenarios, et d'autre part sur la reconnaissance en ligne et temps-reel de ces sequences
Gaspar: a model-based simulator for telecommunication networks
Pas de résumé disponible.