Anandi Giridharan and Pallapa Venkataram, Indian Institute of Science, India

Mobile ad hoc network is a wireless, self-configured, infrastructure less 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 L language (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 reach ability graph. Message Sequence Chart (MSC) gives an intuitive understanding of the described system behaviour with varying node density and complex behaviour etc.

SDL (Specification and Description Language), validation, verification, Node Monitoring Protocol, safety and liveness property.