Fault management using passive testing for mobile IPv6 networks

In this paper, we employ the communicating finite state machine (CFSM) model for networks to investigate fault management using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model, the observer model and the fault model with necessary assumptions. We introduce the fault detection algorithm using passive testing. Then, we briefly present our new passive testing approach for fault location, fault identification, and fault coverage based on the CFSM model. We illustrate the effectiveness of our new technique through simulation of a practical protocol example, a 4-node mobile IPv6 network. Finally, conclusions and potential extensions are discussed.

[1]  Raymond E. Miller,et al.  Fault identification in networks by passive testing , 2001, Proceedings. 34th Annual Simulation Symposium.

[2]  William Stallings.  SNMP, SNMPv2, and CMIP: the practical guide to network management , 1993 .

[3]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[4]  R. E. Miller,et al.  Passive testing of networks using a CFSM specification , 1998, 1998 IEEE International Performance, Computing and Communications Conference. Proceedings (Cat. No.98CH36191).

[5]  Gruia-Catalin Roman,et al.  Modeling mobile IP in mobile UNITY , 1999, TSEM.

[6]  Khaled A. Arisha,et al.  On Fault Identification in Networks Using a CFSM Model by Passive Testing , 2001 .

[7]  Charles E. Perkins,et al.  IP Mobility Support , 1996, RFC.

[8]  K. A. Arisha,et al.  On fault location in networks by passive testing , 2000, Conference Proceedings of the 2000 IEEE International Performance, Computing, and Communications Conference (Cat. No.00CH37086).

[9]  Christian Huitema,et al.  IPv6--the new Internet protocol , 1996 .

[10]  David Lee,et al.  Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.

[11]  Raymond E. Miller,et al.  Fault Coverage in Networks by Passive Testing , 2001, International Conference on Internet Computing.