Abstract
La tomographie booléenne permet de détecter les pannes dans un réseau et de les situer à partir seulement d’un sous-ensemble de noeuds moniteurs. On dit qu’un réseau est k-identifiable si cet ensemble de moniteurs permet de situer jusqu’à k pannes simultanées sans ambiguïté. Les moniteurs impliquant un coût, il faut faire un compromis entre identifiabilité et nombre de moniteurs. Nous présentons et comparons ici un modèle PLNE et un modèle PPC pour trouver le plus petit ensemble de moniteur de manière à garantir la couverture ou la 1-identifiabilité du réseau.
Type
Publication
Journées Francophones de Programmation par Contraintes
Cristel Pelsser
Critical embedded systems, Computer networking, Researcher, Professor
The focus of my research is on network operations, routing, Internet measurements, protocols and security.