Accepted Papers

  • SDL BASED VALIDATION OF A NODE MONITORING PROTOCOL
    Anandi Giridharan and Pallapa Venkataram Indian Institute of Science,INDIA
    ABSTRACT
    Mobile ad hoc network is a wireless, self-configured, infrastructureless network of mobile nodes. The nodes are highly mobile, which makes the application running on them face network related problems like node failure, link failure, network level disconnection, scarcity of resources, buffer degradation, and intermittent disconnection etc. Node failure and Network fault are need to be monitored continuously by supervising the network status. Node monitoring protocol is crucial, so it is required to test the protocol exhaustively to verify and validate the functionality and accuracy of the designed protocol. This paper presents a validation model for Node Monitoring Protocol using Specification and Description Llanguage (SDL) using both Static Agent (SA) and Mobile Agent (MA). We have verified properties of the Node Monitoring Protocol (NMP) based on the global states with no exits, deadlock states or proper termination states using reachability graph. Message Sequence Chart (MSC) gives an intuitive understanding of the described system behavior with varying node density and complex behavior etc.
  • PERFORMANCE ANALYSIS OF DISTRIBUTED ROUTING PROTOCOL OF HETEROGENEOUS WIRELESS SENSOR NETWORKS
    Rita Mahajan, Dr. Deepak Bagai, Yogesh Kumar Fulara,PEC University of Technology, Chandigarh, India.
    ABSTRACT
    Wireless communication technologies continue to undergo rapid advancement. In recent years, there has been a steep growth in research in the area of wireless sensor networks (WSNs). Sensor nodes are small devices with sensing, computing and wireless communication capabilities. Such devices form a WSNs which can be used for many applications like gathering of environmental data and even monitoring enemy activity on a battlefield. In order to achieve good performance, efficient routing protocols must be used. Such routing protocols are of prime area of research. In this paper we will investigate the performance of distributed heterogeneous WSNs protocol: DDEEC, EDEEC and EDDEEC. These protocols in terms of lifetime of the network and data transferred through nodes of the network have been analyzed. The performance of these routing protocols is then measured and compared through simulation environment deployment of the WSNs.

 

Copyright ® NCWC 2015