Skip to main content
main-content

Über dieses Buch

Communication protocols form the operational basis of computer networks and tele­communication systems. They are behavior conventions that describe how com­munication systems inter­act with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols.

Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication proto­cols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one represen­tative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocol to exemplify the various description techniques and to demonstrate important validation and implementation approaches.

The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior.

Inhaltsverzeichnis

Frontmatter

Principles of communication protocols

Frontmatter

2012 | OriginalPaper | Buchkapitel

1 Services

Hartmut König

2012 | OriginalPaper | Buchkapitel

2 Protocols

Hartmut König

2012 | OriginalPaper | Buchkapitel

3 Layers

Hartmut König

2012 | OriginalPaper | Buchkapitel

4 Layered architectures

Hartmut König

2012 | OriginalPaper | Buchkapitel

5 Protocol functions

Hartmut König

2012 | OriginalPaper | Buchkapitel

6 Case study: The Internet protocol stack

Hartmut König

Description of communication protocols

Frontmatter

2012 | OriginalPaper | Buchkapitel

7 Formal description methods

Hartmut König

2012 | OriginalPaper | Buchkapitel

8 Formal description techniques

Hartmut König

Development of communication protocols

Frontmatter

2012 | OriginalPaper | Buchkapitel

9 Protocol development process

Hartmut König

2012 | OriginalPaper | Buchkapitel

10 Design

Hartmut König

2012 | OriginalPaper | Buchkapitel

11 Verification

Hartmut König

2012 | OriginalPaper | Buchkapitel

12 Performance evaluation

Hartmut König

2012 | OriginalPaper | Buchkapitel

13 Implementation

Hartmut König

2012 | OriginalPaper | Buchkapitel

14 Testing

Hartmut König

2012 | OriginalPaper | Buchkapitel

15 Outlook

Hartmut König

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise