Search

Recent advances in wireless communications and sensor technologies have enabled the development of low-cost wireless sensor networks (WSNs) for a wide range of applications. Medium access control (MAC) protocols play a crucial role in WSNs by enabling the sharing of scarce wireless bandwidth efficiently and fairly. This article provides a survey of the literature on MAC protocols for WSNs. We first briefly describe the unique features of WSNs. We then review representative MAC protocols from the following four categories: contention-based protocols, contention-free (scheduled-based) protocols, hybrid protocols, and preamble sampling protocols. Our discussions focus on the background, main features, operation procedures, major design issues, and the advantages and disadvantages of these protocols. We also present an analysis of the inherent and desirable features of the protocols, and the key challenges of MAC technology for WSNs. Finally, we present our view on future research directions for WSN MAC protocols in a reader-friendly way using illustrative diagrams. [ABSTRACT FROM AUTHOR]

Wireless self-organizing networks (WSONs) have attracted considerable attention from the network research community; however, the key for their success is the rigorous validation of the properties of the network protocols. Applications of risk or those demanding precision (like alert-based systems) require a rigorous and reliable validation of deployed network protocols. While the main goal is to ensure the reliability of the protocols, validation techniques also allow the establishment of their correctness regarding the related protocols' requirements. Nevertheless, even if different communities have carried out intensive research activities on the validation domain, WSONs still raise new issues for and challenging constraints to these communities. We thus, advocate the use of complementary techniques coming from different research communities to efficiently address the validation of WSON protocols. The goal of this tutorial is to present a comprehensive review of the literature on protocol engineering techniques and to discuss difficulties imposed by the characteristics of WSONs on the protocol engineering community. Following the formal and nonformal classification of techniques, we provide a discussion about components and similarities of existing protocol validation approaches. We also investigate how to take advantage of such similarities to obtain complementary techniques and outline new challenges. [ABSTRACT FROM AUTHOR]

During the last ten years, many computer networks have been designed, implemented, and put into service in the United States, Canada, Europe, Japan, and elsewhere. From the experience obtained with these networks, certain key design principles have begun to emerge, principles that can be used to design new computer networks in a more structured way than has traditionally been the case. Chief among these principles is the notion of structuring a network as a hierarchy of layers, each one built upon the previous one. This paper is a tutorial about such network hierarchies, using the Reference Model of Open Systems Interconnection developed by the International Organization for Standardization as a guide. Numerous examples are given to illustrate the principles. [ABSTRACT FROM AUTHOR]