Jetzt sichern: Englischsprachige eBooks im Springer Bucharchiv nur 8.99€!

Protocol Engineering

Autoren: König, Hartmut

Vorschau
  • Presentation is characterized by a focus on formal description techniques for the design, validation, and implementation of communication protocols
  • Considers both the theoretical and the practical aspects of protocol engineering
  • Encourages the readers to apply the methods described in their practical work and supports this using the simple data transfer example protocol XDT
Weitere Vorteile

Dieses Buch kaufen

eBook 42,79 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-29145-6
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Hardcover 80,24 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-29144-9
  • Kostenfreier Versand für Individualkunden weltweit
  • Kostenloser Sofortzugriff, sofern verfügbar* auf die eBook-Version bei jeder Buchbestellung
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Softcover 53,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-44093-9
  • Kostenfreier Versand für Individualkunden weltweit
  • Kostenloser Sofortzugriff, sofern verfügbar* auf die eBook-Version bei jeder Buchbestellung
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Lehrbuch

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.

Über die Autor*innen

Prof. Hartmut König holds the chair in Computer Networks and Communication Systems at the Brandenburg University of Technology (btu) in Cottbus. He has published over 100 research papers and articles, and authored or edited 7 books in the area of communuications and distributed systems. His research interests include high-performance communications (multimedia communication, videoconferencing), protocol engineering (automatic implementation, test), formal methods, and network security (intrusion detection).

Stimmen zum Buch

From the reviews:

“This book is a good introduction to the engineering of communication protocols. … will be useful to graduate students taking courses in data communication and computer networks.” (Sathiamoorthy Manoharan, Computing Reviews, January, 2014)

“König (computer networks and communication systems, Brandenburg Univ. of Technology, Germany) has authored numerous works on protocols and communications, and is thus well qualified to write this work. He succeeds in delivering a book that adeptly covers the basics of protocols, formal protocol descriptions, and the protocol life cycle. … The book is quite readable and could serve as a good introduction to protocol engineering. … Overall, the book is well worth reading. Summing Up: Highly recommended. Upper-division undergraduates and above.” (L. McLauchlan, Choice, Vol. 50 (11), August, 2013)

Inhaltsverzeichnis (15 Kapitel)

Inhaltsverzeichnis (15 Kapitel)

Dieses Buch kaufen

eBook 42,79 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-29145-6
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Hardcover 80,24 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-29144-9
  • Kostenfreier Versand für Individualkunden weltweit
  • Kostenloser Sofortzugriff, sofern verfügbar* auf die eBook-Version bei jeder Buchbestellung
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Softcover 53,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-44093-9
  • Kostenfreier Versand für Individualkunden weltweit
  • Kostenloser Sofortzugriff, sofern verfügbar* auf die eBook-Version bei jeder Buchbestellung
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Protocol Engineering
Autoren
Copyright
2012
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-29145-6
DOI
10.1007/978-3-642-29145-6
Hardcover ISBN
978-3-642-29144-9
Softcover ISBN
978-3-642-44093-9
Auflage
1
Seitenzahl
XVI, 528
Themen

*sofort verfügbar bei Bestellung eines Print-Titels, da es aufgrund der COVID-19-Situation zu Lieferverzögerungen kommen kann. Dieses Angebot ist befristet und richtet sich nach der Verfügbarkeit des eBook-Titels. Das eBook geht nicht in Ihren Besitz über - Sie erhalten einen zeitlich begrenzten Zugriff. Springer Reference Works sind davon ausgenommen.