Entry from the module handbook

Dates and Locations
Mondays, 10:00-11:30, 46-280
Begin: 20.04.2009
13 Appointments

Lecturer
Prof. Dr.-Ing. Reinhard Gotzhein

Other involved persons
Philipp Becker (Dipl.-Inf.): Exercises

Weitere Informationen
Presence hours: 2C+1R
Amount of ECTS Credits: 4
Language: english
Module ID: 89-4131

Content

protocol specification (FSA, Mealy-machines, SDL)
collaboration specification (UML, MSC)
reachability analysis (principle, reachability graph, error types, reduced reachability analysis)
protocol testing (principle, error types, test methods)
protocol synthesis (principle, synthesis approaches)
SDL pattern approach (process model, SDL patterns, case study, assessment)
Micro protocol approach (process model, examples)
self-stabilizing protocols (definition, examples, properties, verification)

Inhalt

Protokollspezifikation (EA, Mealy-Maschinen, SDL)
Kollaborationsspezifikation (UML, MSC)
Erreichbarkeitsanalyse (Prinzip, Erreichbarkeitsgraph, Fehlertypen, reduzierte Erreichbarkeitsanalyse)
Protokolltesten (Prinzip, Fehlertypen, Testverfahren)
Protokollsynthese (Prinzip, Syntheseverfahren)
SDL-Pattern-Ansatz (Prozessmodell, SDL-Patterns, Fallstudie, Bewertung)
Mikroprotokollansatz (Prozessmodell, Beispiele)
Selbststabilisierende Protokolle (Definition, Beispiele, Eigenschaften, Korrektheitsnachweis)

Literature

J. E. Hopcroft, J. D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Addison-Wesley, 1988
Z. Kohavi: Switching and Finite Automata Theory, McGraw Hill, USA, 1978
G. v. Bochmann: Finite State Description of Communication Protocols, Computer Networks 2, 4/5, 1978, pp. 361-372
B. S. Bosik, U. Uyar: Finite State Machine Based Formal Methods in Protocol Conformance Testing: from Theory to Implementation, Computer Networks and ISDN Systems 22 (1991), pp. 7-33
M. G. Gouda, Y. Yu: Synthesis of Communicating Finite-State Machines with Guaranteed Progress, IEEE Transactions on Communications, Vol. COM-32, No. 7, 1984, pp. 779-788
J. Ellsberger, D. Hogrefe, A. Sarma: SDL - Formal Object-Oriented Language for Communicating Systems, Prentice Hall, 1997
R. Gotzhein: Consolidating and Applying the SDL-Pattern-Approach: A Detailed Case Study, Information and Software Technology, Special Issue on Communication Software Engineering, Elsevier Sciences, Vol. 45, No. 11, 2003, pp. 727-741
M. G. Gouda, N. J. Multari: Stabilizing Communication Protocols, IEEE Transactions on Computers, Vol. 40, No. 4, 1991, pp. 448-458

Required knowledge

Formal Foundations of Programming (Formale Grundlagen der Programmierung)
Networked Systems (Vernetzte Systeme) or Mobility in Networked Systems (Mobilität in verteilten Systemen)

Final examination:
Oral or written examination

Associated events:
89-4131U Protocol Engineering (Exercise)

	Übergeordnete Seite: Protocol Engineering (SoSe 2009)
	Lecture 89-4131: 2C+1R

	Feedback
	Email an den Verantwortlichen dieser Seite (pbecker@informatik.uni-kl.de)

	English
	This page in english. Diese Seite auf englisch.


			AG Vernetzte Systeme Lehre PE 2009 Entry from the module handbook