KIS Entry

Dates and Locations
Wednesdays, 10:00-11:30, 52-204
Begin: 23.04.2014
14 Lectures

Lecturer
Prof. Dr.-Ing. Reinhard Gotzhein

Other involved persons
Anuschka Igel (Dipl.-Inf.): Exercises

Further Information
Presence hours: 2C+1R
Number 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)

	Superordinated page: Protocol Engineering (SoSe 2014)
	Lecture 89-4131 (INF-41-31-V-6): 2C+1R

	Feedback
	Go to the contact details of the person in charge of this page

	Deutsch
	This page in german. Diese Seite auf deutsch.