Formal Methods in Cross Layer Modeling and Optimization of Wireless Networks: State of the Art and Future Directions

Formal Methods in Cross Layer Modeling and Optimization of Wireless Networks: State of the Art and Future Directions

Dzmitry Kliazovich (DIT - University of Trento, Italy), Michael Devetsikiotis (North Carolina State University, USA) and Fabrizio Granelli (DIT - University of Trento, Italy)
DOI: 10.4018/978-1-60566-108-7.ch001
OnDemand PDF Download:


The layering principle has been long identified as a way to increase the interoperability and to improve the design of telecommunication protocols, where each layer offers services to adjacent upper layers and requires functionalities from adjacent lower ones. In the past, layering has enabled fast development of interoperable systems, but at the same time limited the performance of the overall architecture, due to the lack of coordination among layers. This issue is particularly relevant for wireless networks, where the very physical nature of the transmission medium introduces several performance limitations for protocols designed for wired networks. To overcome these limitations, a modification of the layering paradigm has been proposed, namely, cross-layer design, or “cross-layering.” Several cross-layering approaches have been proposed in the literature so far. Nevertheless, little formal characterization of the cross-layer interaction among different levels of the protocol stack is available yet. A clear need exists for identifying approaches able to analyze and provide quantitative guidelines for the design of cross-layer solutions, and, more importantly, to decide, in each case, whether cross-layering represents an effective solution or not. This chapter provides a detailed survey of the state-of-the-art and future directions in the usage of formal methods for cross-layer modeling and optimization of wireless networks. The text starts by detailing the principles of layered (ISO/OSI and TCP/IP) protocol stacks as well as the cross-layer paradigm. An overview of the architectures of existing and perspective wireless networks is presented along with an analysis of the potential limitations deriving from the layering approach and detailed description of possible optimization solutions enabled by cross-layer design. Subsequent sections are devoted to the issues of modeling and optimization of wireless networks. The remaining sections cover performance optimization as well as architecture optimization (specifically in terms of signaling). The chapter ends with a summary and outlines about future directions of research on the topic.
Chapter Preview


ISO/OSI and TCP/IP Protocol Stacks Principles

Currently, design of network architectures is based on the layering principle, which provides an attractive tool for designing interoperable systems for fast deployment and efficient implementation.

ISO/OSI model (Jain, 1993) was developed to support standardization of network architectures using the layered model. The main concepts motivating layering are the following:

  • Each layer performs a subset of the required communication functions

  • Each layer relies on the next lower layer to perform more primitive functions

  • Each layer provides services to the next higher layer

  • Changes in one layer should not require changes in other layers

Such concepts were used to define a reference protocol stack of seven layers, going from the physical layer (concerned with transmission of an unstructured stream of bits over a communication channel) up to the application layer (providing access to the OSI environment).

Services between adjacent layers expressed in terms of primitives and parameters:

  • Primitives, which specify function to be performed (4 primitives are defined: REQUEST, INDICATION, RESPONSE, CONFIRMATION)

  • Parameters, to pass data and control information

A protocol at a given layer is implemented by a (software, firmware, or hardware) entity, which communicates with other entities (on other networked systems) implementing the same protocol by Protocol Data Units (PDUs). A PDU is built by payload (data addressed or generated by an entity at a higher adjacent layer) and header (which contains protocol information). PDU format as well as service definition is specified by the protocol at a given level of the stack.

The same concepts are at the basis of the de-facto standard protocol stack on the Internet, namely the TCP/IP protocol stack (Murhammer & Murphy, 1998).

The main advantage deriving from the layering paradigm is the modularity in protocol design, which enables interoperability and improved design of communication protocols. Moreover, a protocol within a given layer is described in terms of functionalities it offers, while implementation details and internal parameters are hidden to the remainder layers (the so-called “information-hiding” property).

Key Terms in this Chapter

Heterogeneity: The fact or state of being dissimilar.

Network Complexity: Is the number of nodes and alternate routes, number of communication mediums and protocols running in the network.

Network Architecture: The organization of computer and communications systems which supports communication and co-operation between them.

Network Path: A sequence of network node the data is routed through while following from data source to the destination.

Wireless Communication: The transfer of information over a distance without the use of electrical conductors.

Energy Efficiency: Amount of work or energy released by the process to the quantity of work or energy used as an input to run the process.

TCP/IP (Transmission Control Protocol / Internet Protocol): A collection of Internet communication protocols between two computers. The TCP protocol is responsible reliable data delivery between applications, while IP protocol is responsible for data delivery between two network nodes.

Complete Chapter List

Search this Book:
Editorial Advisory Board
Table of Contents
Robert A. Walker, Drew Parker
Stavros Kotsopoulos, Konstantinos Ioannou
Chapter 1
Dzmitry Kliazovich, Michael Devetsikiotis, Fabrizio Granelli
The layering principle has been long identified as a way to increase the interoperability and to improve the design of telecommunication protocols... Sample PDF
Formal Methods in Cross Layer Modeling and Optimization of Wireless Networks: State of the Art and Future Directions
Chapter 2
Dimitris Toumpakaris, Jungwon Lee
This chapter presents an introduction to cross-layer scheduling and resource allocation for wireless systems and an overview of some of the... Sample PDF
Cross-Layer Resource Allocation and Scheduling for Wireless Systems
Chapter 3
Prashant Pillai
IP multicast mechanisms provide efficient bandwidth consumption and distribution of high volume contents such as audio/video streaming... Sample PDF
An AAA Framework for IP Multicast Communication in Next Generation Networks
Chapter 4
N. Merlemis, D. Zevgolis
This chapter is an introduction of the Wavelength-division multiplexing (WDM) technologies (such as Dense WDM and coarse WDM) and their recent... Sample PDF
Wavelength Division Multiplexing Technologies and their Applications
Chapter 5
Sotiris Karabetsos, Spiros Mikroulis, Athanase Nassiopoulos
The high capacity offered by the optical fiber, combined with the mobility and the flexibility of wireless access, either fixed or not, provides an... Sample PDF
Radio over Fiber for Broadband Communications: A Promising Technology for Next Generation Networks
Chapter 6
Konstantinos Birkos
High Altitude Stratospheric Platforms (HASPs) have gained much of attention from the scientific society and the communication industry in the recent... Sample PDF
High Altitude Stratospheric Platforms (HASPs)
Chapter 7
Dimitrios K. Lymberopoulos
The Next Generation Network (NGN) is a very complex environment, where various parties (network operators, services and application providers... Sample PDF
Test Template for Data Mining Publications
Chapter 8
Konstantinos S. Kotsopoulos
Next Generation Networks (NGNs) will accommodate heterogeneous architectures that need to be managed in order to provide services with high QoS to... Sample PDF
The Adoption of Service-Oriented Architecture (SOA) in Managing Next Generation Networks (NGNs)
Chapter 9
Ioannis Papapanagiotou, Georgios S. Paschos
The present chapter contains a thorough investigation of Quality of Service, Energy Conservation and mobility in 802.11 and 802.16 standards.... Sample PDF
A Case Study on the QoS, Energy Consumption and Mobility of WLANs and WMANs
Chapter 10
Panagiotis Kasimatis, Dimitra Varla
This chapter deals with the description of the various applied Mobile System Architectures, showing the evolution path towards the IP Convergence... Sample PDF
Mobile Telecom System Architectures—IMS an Evolution Path Towards IP Convergence
Chapter 11
Peter Brida, Peter Cepel, Jan Duha
This chapter deals with mobile positioning in wireless heterogeneous next generation networks. Positioning process is analyzed and the chapter gives... Sample PDF
Mobile Positioning in Next Generation Networks
Chapter 12
Anthony Ioannidis, Jiorgis Kritsotakis
Convergence in the communication industry is a reality – networks are being integrated, digital devices are being unified, and organizations seeking... Sample PDF
Converged Networks and Seamless Mobility: Lessons from Experience
Chapter 13
Costas Chaikalis, Felip Riera-Palou
Modern and future wireless communication systems such as UMTS and beyond 3G systems (B3G) are expected to support very high data rates to/from... Sample PDF
Efficient Receiver Implementation for Mobile Applications
Chapter 14
Apostolos Georgiadis, Carles Fernández Prades
Multi-antenna systems incorporating smart antenna techniques present numerous advantages compared to their single antenna counterparts including... Sample PDF
Novel Multi-Antenna and Smart Antenna Techniques for Next Generation Wireless Communication Networks
Chapter 15
Stelios A. Mitilineos, Christos N. Capsalis, Stelios C.A. Thomopoulos
Small-scale fading strongly affects the performance of a radio link; therefore radio channel simulation tools and models are broadly being used in... Sample PDF
Simulation of Small-Scale Fading in Mobile Channel Models for Next-Generation Wireless Communications
Chapter 16
Petros Karadimas
This chapter studies a composite stochastic model, in which the diffuse component arises from three dimensional (3-D) multipath scattering. That... Sample PDF
Stochastic Modeling of Narrowband Fading Channels with Three Dimensional Diffuse Scattering
Chapter 17
Anastasios Papazafeiropoulos
As a consequence of the growing interest in wireless communications systems, much effort is being devoted to the channel characterization and... Sample PDF
Channel Characterization and Modelling for Mobile Communications
Chapter 18
Fotis C. Kitsios, Spyros P. Angelopoulos, John Zannetopoulos
There is no doubt that e-government is a phenomenon of our era. E-business is becoming vital on the private sector as well as in the governmental... Sample PDF
Innovation and E-Government: An in Depth Overview on E-Services
Chapter 19
Spyros P. Angelopoulos, Fotis C. Kitsios, Eduard Babulak
Telecommunications and Internet Technologies have evolved dramatically during the last decade, laying a solid foundation for the future generation... Sample PDF
From E to U: Towards an Innovative Digital Era
Chapter 20
Fotis C. Kitsios
Nowadays that the world depends more and more in services, there is no issue more fundamental for service organizations than understanding the... Sample PDF
Service Innovation Management: New Service Development Strategies in the Telecommunication Industry Test Template for Data Mining Publications
Chapter 21
D. M. Emiris
Auctioning over Wireless Networks, constitutes an attractive emerging class for m-commerce applications and formulates a procurement negotiation... Sample PDF
The Expansion of E-Marketplace to M-Marketplace by Integrating Mobility and Auctions in a Location-Sensitive Environment: Application in Procurement of Logistics Services
Chapter 22
Achilles D. Kameas
This chapter describes a human centric approach for designing and deploying ubiquitous computing applications. These are considered as activity... Sample PDF
Deploying Ubiquitous Computing Applications on Heterogeneous Next Generation Networks
Chapter 23
Eduard Babulak, Konstantinos G. Ioannou, Athanasios Ioannou
Transportation and Internet Technologies have evolved dramatically during the last decade, laying solid foundation for the future generation of the... Sample PDF
Channel Management Schemes to Support Services in Ubiquitous Communications Infrastructures for Future Transportation Technologies
About the Contributors