Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen

by Hartmut König

Overview

Prool Engineering bezeichnet die Entwicklung, Validation und Reali-sierung von Kommunikationsprotokollen unter Verwendung formaler Beschreibungstechniken. Das Buch führt in die Grundlagen des Prool Engineerings ein. Es stellt die grundlegenden Prinzipien der Funktionsweise von Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Proto-kollentwicklung vor. Dabei werden sowohl die praktischen als auch die theoretischen Aspekte des Prool Engineerings betrachtet. Darüber hinaus werden Einführungen in die formalen Beschreibungstechniken SDL 2000, MSC, ASN.1, LOTOS sowie die Testnotationen TTCN-2 und TTCN-3 gegeben.

Product Details

ISBN-13:	9783519004547
Publisher:	Vieweg+Teubner Verlag
Publication date:	11/26/2003
Series:	XLeitfäden der Informatik
Edition description:	2003
Pages:	496
Product dimensions:	6.69(w) x 9.45(h) x 0.04(d)
Language:	German

About the Author

Prof. Dr. Hartmut König, BTU Cottbus

Read an Excerpt

Click to read or download

Table of Contents

I Prinzip der Kommunikationsprotokolle.- 1 Dienste.- 2 Protokolle.- 3 Schichten.- 4 Kommunikationsarchitekturen.- 5 Protokollfunktionen.- 6 Fallbeispiel: Der Internet-Protokollstack.- II Beschreibung von Kommunikationsprotokollen.- 7 Beschreibungsmethoden.- 8 Formale Beschreibungstechniken.- III Entwicklung von Kommunikationsprotokollen.- 9 Entwicklungsphasen.- 10 Entwurf.- 11 Verifikation.- 12 Implementierung.- 13 Test.- 14 Werkzeuge.- Ausblick.- Literatur.- Abkürzungen.

Preface

Click to read or download