Browsing by Author "Arisha, Khaled A."
Now showing 1 - 3 of 3
Results Per Page
Sort Options
Item On Fault Identification in Networks Using a CFSM Model by Passive Testing(2001-05-10) Miller, Raymond E.; Arisha, Khaled A.In this paper, we employ the Communicating finite state machine (CFSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive testing. Then, we introduce the CFSM model and the observer model with necessary assumptions and justification. We introduce the fault model and the fault detection algorithm using passive testing. Extending our previous work, we develop the new approach for fault identification based on the CFSM model. A 2-node model example is given to illustrate our approach. Then, we illustrate the effectiveness of our new technique through simulation of practical protocol examples, covering both the 2-node and 3-node models. Finally future extensions and potential trends are discussed. (Cross-referenced as UMIACS-TR-2001-28)Item On Fault Location in Networks by Passive Testing(1999-10-09) Miller, Raymond E.; Arisha, Khaled A.In this paper, we employ a variant of the communicating finite state machine (CFSM) model for networks to investigate fault detection and location using passive testing. First, we introduce the concept of passive testing, then we introduce the model with necessary assumptions and justification. Then, the model for the observer process is described and a 3-node case is studied to show how fault location information can be deduced. Extending this result, we propose a multiple node-cut approach for a general network, applying our technique for fault detection and location. An abstraction of a node-cut shows how the 3-node case can be used in the general case. We then illustrate our technique through a simulation of a practical X.25 example. Finally future extensions and potential trends are discussed.Item On Fault Management using Passive Testing for Mobile IPv6 Networks(2001-05-10) Miller, Raymond E.; Arisha, Khaled A.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 and the observer model with necessary assumptions and justification. We introduce the fault model and the fault detection algorithm using passive testing. We present our new passive testing approach for fault location, fault identification, and fault coverage based on the CFSM model. Examples are given for each fault management function to illustrate our approach. Then, we illustrate the effectiveness of our new technique through simulation of a practical protocol example, a 4-node mobile Ipv6 network. Finally future extensions and potential trends are discussed. (Cross-referenced as UMIACS-TR-2001-15)