Especificação e análise de um mecanismo de controle de admissão bidirecional para protocolos de roteamento oportunístico em redes ad hoc sem fio

Abstract

Wireless Ad Hoc Network is a communication model characterized by the absence of a central manager where the connections between nodes happen independently to the others. In case a link fails, it will not impact the others. In this context, a packet routing approach proposed in the literature is Opportunistic Routing (OR). In OR, there is a greater probability of packet delivery because all paths from source to destination are evaluated in routing, this fact can be considered an advantage for meeting the Quality of Service (QoS) requirements of the applications. However, providing QoS in opportunistic wireless Ad Hoc network environments is not a trivial task. To contribute to the improvement of this scenario, the Admission Control (AC) of flows is a viable mechanism to guarantee that new flows will only be admitted into the network if resources are available. This work aims to propose, specify and analyze an admission control mechanism for bidirectional data flows in opportunistic wireless Ad Hoc networks. In this sense, OMNeT++, a discrete network event simulator, was used to perform the experimental evaluation of the proposed mechanism and a formal model in Colored Petri Nets (CPN) in the CPN/Tools software tool in order to increase the coverage simulation and testing. With the results obtained, it was possible to identify that for the proposed model, a flow will be admitted only if, after the network discovery, there are resources available in the forwarding nodes for the transmission and reception of data as required by the application.