Abstract
This paper presents an approach to real-time fault detection and isolation in communication networks due to erroneously implemented software. Unlike other approaches to real-time fault detection and isolation, the approach using local directed graphs presented in this paper does not require a monitoring system for every element of the communications network.
The work of these three authors was supported in part by a grant from NYNEX Corporation, Applied Research Division, and in part by the New York State Science and Technology Foundation under its program for Centers for Advanced Technology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
S. Shatz and J. Wang, Tutorial: Distributed Software Engineering. Washington, D.C.: IEEE Computer Society Press, 1988.
R. Dssouli and G. Bochmann, “Error detection with multiple observers,” in Protocol Specification, Testing, and Verification V, pp. 483–494, Elsevier Science Publishers B.V., 1985.
R. Molva, M. Diaz, and J. Ayache, “Observer: a run-time checking tool for local area networks,” in Protocol Specification, Testing, and Verification V, pp. 495–506, Elsevier Science Publishers B.V., 1985.
J. Agre, “A message-based fault diagnosis procedure,” in Proceedings ACM SIGCOMM-86 Symposiumn on Communication Architectures & Protocols, pp. 328–337, Aug. 1986.
C. Yuang and G. Masson, “A distributed algorithm for fault diagnosis in systems soft failures,” IEEE Trans. Computers, vol. 37, pp. 1476–1480, Nov. 1988.
A. Mahmood and E. McCluskey, “Concurrent error detection using watchdog processors — a survey,” IEEE Trans. Computers, vol. 37, pp. 160–74, Feb. 1988.
D. Brand and P. Zafiropulo, “On communicating finite-state machines,” Journal of the ACM, vol. 30, pp. 323 - 39, April 1983.
Y. Kakuda, Y. Wakahara, and M. Norigoe, “An acyclic expansion algorithm for fast protocol validation,” IEEE Trans. Software Engineering, vol. 14, pp. 1059–1070, Aug. 1988.
D. Gambhir and M. Post, “Local directed graphs for protocol verification,” Tech. Rep. PUCS-101-89, Computer Science Division, Polytechnic U., Brooklyn, N.Y., 1989.
M. Pyykkonen, “Network management: end-user perspectives,” Telecommunications, vol. 23, pp. 23–24, 72, Feb. 1989.
R. Weingarten and E. Iacobucci, “Logical problem determination for sna networks,” IBM Systems J., vol. 22, no. 4, pp. 387–403, 1983.
M. Yuang, Parallel Protocol Verification Using the Localized Approach: The Two-Phase Algorithm and Complexity Analysis. PhD thesis, Polytechnic University, Brooklyn, N.Y., 1989.
R. LeBlanc and A. Robbins, “Event-driven monitoring of distributed programs,” in Tutorial: Distributed Software Engineering, pp. 215–22, Washington, D.C.: IEEE Computer Society Press, 1989.
B. Sarikaya, “Protocol test generation, trace analysis and verification techniques,” in Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, (Banff, Alta. Canada), pp. 123–30, IEEE Computer Society Press, July 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Plenum Press, New York
About this chapter
Cite this chapter
Gambhir, D., Kershenbaum, A., Post, M.J., Yuang, M. (1990). Fault Isolation in Communication Networks with Local Directed Graphs. In: Kershenbaum, A., Malek, M., Wall, M. (eds) Network Management and Control. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1471-4_23
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1471-4_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8779-7
Online ISBN: 978-1-4613-1471-4
eBook Packages: Springer Book Archive