On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography

Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Federico Trombetti, Hana Khamfroush

Research output: Contribution to journalArticle

Abstract

Boolean network tomography is a powerful tool to infer the state (working/failed) of individual nodes from path-level measurements obtained by edge-nodes. We consider the problem of optimizing the capability of identifying network failures through the design of monitoring schemes. Finding an optimal solution is NP-hard and a large body of work has been devoted to heuristic approaches providing lower bounds. Unlike previous works, we provide upper bounds on the maximum number of identifiable nodes, given the number of monitoring paths and different constraints on the network topology, the routing scheme, and the maximum path length. These upper bounds represent a fundamental limit on identifiability of failures via Boolean network tomography. Our analysis provides insights on how to design topologies and related monitoring schemes to achieve the maximum identifiability under various network settings. Through analysis and experiments we demonstrate the tightness of the bounds and efficacy of the design insights for engineered as well as real networks.

Original languageEnglish (US)
Article number9003530
Pages (from-to)588-601
Number of pages14
JournalIEEE/ACM Transactions on Networking
Volume28
Issue number2
DOIs
StatePublished - Apr 2020

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications
  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Cite this

Bartolini, N., He, T., Arrigoni, V., Massini, A., Trombetti, F., & Khamfroush, H. (2020). On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography. IEEE/ACM Transactions on Networking, 28(2), 588-601. [9003530]. https://doi.org/10.1109/TNET.2020.2969523