出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：Mobile ad hoc network is a wireless, self-configured, infrastructure less network of mobilenodes. The nodes are highly mobile, which makes the application running on them face networkrelated problems like node failure, link failure, network level disconnection, scarcity ofresources, buffer degradation, and intermittent disconnection etc. Node failure and Networkfault are need to be monitored continuously by supervising the network status. Node monitoringprotocol is crucial, so it is required to test the protocol exhaustively to verify and validate thefunctionality and accuracy of the designed protocol. This paper presents a validation model forNode Monitoring Protocol using Specification and Description L language (SDL) using bothStatic Agent (SA) and Mobile Agent (MA). We have verified properties of the Node MonitoringProtocol (NMP) based on the global states with no exits, deadlock states or proper terminationstates using reach ability graph. Message Sequence Chart (MSC) gives an intuitiveunderstanding of the described system behaviour with varying node density and complexbehaviour etc.
关键词：SDL (Specification and Description Language); validation; verification; Node Monitoring;Protocol; safety and liveness property.
