Communication Protocols: Principles, Methods and Specifications

by Drago Hercog

Overview

This book provides comprehensive coverage of the prools of communication systems. The book is divided into four parts. Part I covers the basic concepts of system and prool design and specification, overviews the models and languages for informal and formal specification of prools, and describes the specification language SDL. In the second part, the basic notions and properties of communication prools and prool stacks are explained, including the treatment of the logical correctness and the performance of prools. In the third part, many methods for message transfer, on which specific communication prools are based, are explained and formally specified in the SDL language. The fourth part provides for short descriptions of some specific prools, mainly used in IP networks, in order to acquaint a reader with the practical use of communication methods presented in the third part of the book. The book is relevant to researchers, academics, professionals and students in communications engineering.

• Provides comprehensive yet granular coverage of the prools of communication systems
• Allows readers the ability to understand the formal specification of communication prools
• Specifies communication methods and prools in the specification language SDL, giving readers practical tools to venture on their own

Product Details

ISBN-13:	9783030504076
Publisher:	Springer International Publishing
Publication date:	09/29/2020
Edition description:	1st ed. 2020
Pages:	378
Product dimensions:	6.10(w) x 9.25(h) x (d)

About the Author

Drago Hercog received dipl.ing. (Diplome Engineer), MSc. (Master of Science) and DSc. (Doctor of Science) degrees in electrical engineering in 1974, 1984 and 1988, respectively, all from the University of Ljubljana, Slovenia. He was employed by the University of Ljubljana, Faculty of Electrical Engineering from 1974 to 2015, finally as Associate Professor. He spent nine months with the high-tech electronics company AMI in Silicon Valley, California, USA, working on software for VLSI design. He taught several courses on communication networks and prools, on mobile networks and on electromagnetic wave propagation at the University of Ljubljana. He also taught courses on communication systems and prools at ESIGELEC and two other high engineering schools in France. He published two books in Slovenian language on electromagnetic wave propagation and communication networks, respectively. He wrote textbooks in French and English for the internal use at the high engineering schools inFrance. His most important area of research were communication prools. He also published many papers in refereed scientific journals and conferences. He retired in 2015.

Table of Contents

Introduction.- i. Specification of communication systems and prools.- system specification and design.- prool specification and design.- sdl language.- ii. Prools and their properties.- communication service, communication prool.- prool stack.- communication prool performance.- prool analysis, simulation and measurement.- iii. Methods of message transfer.- coding and decoding of prool data units.- segmentation and reassembly of prool data units.- addressing.- distributed state management.- providing reliable message transfer.- flow and congestion control.- medium access control.- iv. Short presentation of some standard prools.- hdlc family of prools.- ppp prool.- local area network prools.- ip prool.- arp prool.- dns: distributed directory and prool.- tcp prool.- udp prool.- sctp prool.- prools rtp / rtcp.- transport layer security.- some application layer prools in ip networks.- Conclusion.