Computing diagnostic explanations of network faults from monitoring data

Proceedings - IEEE Military Communications Conference MILCOM

Volumn , Issue , 2008, Pages

  Baker, Donald ^a   Nodine, Marian ^a   Chadha, Ritu ^a   Chiang, C Jason ^a   Gottlieb, Yitzchak ^a   Flossie Hsu, C P ^a   Jaeger, Robert ^a   Levin, Gary ^a   Ling, Yibei ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN SATISFIABILITY; FAULT DIAGNOSIS; MANAGEMENT DOMAINS; MILITARY NETWORKS; MONITORING INFORMATIONS; NETWORK FAULT DIAGNOSIS; NETWORK FAULTS; NETWORK MANAGEMENT SYSTEMS; NETWORK MONITORING; NETWORK STATE; NOVEL ALGORITHMS; REASONING APPROACHES; SINGLE COMPONENTS;

BOOLEAN FUNCTIONS; LEARNING ALGORITHMS; MILITARY COMMUNICATIONS;

NETWORK MANAGEMENT;

EID: 62349126893     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MILCOM.2008.4753380     Document Type: Conference Paper

References (9)

1. A.T. Bouloutas, S. Calo, and A. Finkel, "Alarm Correlation and Fault Identification in Communication Networks," IEEE Transactions on Communications, Vol. 42, 1995.
2. S. Cook, "The complexity of theorem-proving procedures," Third Annual ACM Symposium on Theory of Computing, 1971.
3. B. Gruschke, "A New Approach for Event Correlation Based on Dependency Graphs," Workshop of the OpenView University Association, 1998.
4. M. Hasan, B. Sugla, and R. Viswanathan, "A conceptual framework for network management event correlation and filtering systems," Integrated Network Management, 1999.
5. S. Klinger, et al. "A Coding Approach to Event Correlation," Proceedings of the fourth international symposium on Integrated network management IV. 1995.
6. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an Efficient SAT Solver," 39th Design Automation Conference (DAC 2001), Las Vegas, June 2001.
7. M. Steinder, and A. Sethi, "Non-deterministic Fault Localization in Communication Systems Using Belief Networks," IEEE/ACM Transactions on Networking, 2004.
8. Y. Yu, Q. Liu, L. Tan, "A graph-based proactive fault identification approach in computer networks," Computer Communications, Vol. 28, 2005.
9. L. Zhang and S. Malik, "The Quest for Efficient Boolean Satisfiability Solvers," Invited Paper, Proceedings of 8th International Conference on Computer Aided Deduction (CADE 2002) and also in Proceedings of 14th Conference on Computer Aided Verification (CAV2002), Copenhagen, Denmark, July 2002.