Un Modèle de validation pour le protocole de routage DSR

We propose in this article a formal specification of the routing protocol Dynamic Source Routing (DSR) for the wireless ad hoc networks, as well a validation model for this protocol. The protocol DSR is specified using SDL according to the requirements provided by IETF (JOH 03). The specification method used for DSR meets the requirements needed for the wireless networks. A validation technique for conformance testing that has been developed at INT is then applied on the specification. This latter is goal-oriented and expresses the specific properties of the system. It allows to automatically generate test scenarios without needing to be an expert using the language or the model proposed. This technique may also be used for other wireless ad hoc routing protocols. Furthermore, some experimental results on the specification are given.