Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-41-31-K-6

Protocol Engineering (2V+1U, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K Lecture with exercise classes (V/U) 4.0 CP 78 h
2 V Lecture 28 h
1 U Exercise class (in small groups) 14 h
(2V+1U) 4.0 CP 42 h 78 h


CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. in SuSe
Level [6] Master (General)
Language [DE/EN] German or English as required
Area of study [INF-VVS] Distributed and Networked Systems
Livecycle-State [NORM] Active

Possible Study achievement

  • Verification of study performance: proof of successful participation in the exercise classes (ungraded)
  • Details of the examination (type, duration, criteria) will be announced at the beginning of the course.


  • 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)


  • J. E. Hopcroft, R. Motwani, J. D. Ullman: Introduction to Automata Theory, Languages, and Computation, Pearson, 3rd edition, 2006
  • Z. Kohavi, N. K. Jha: Switching and Finite Automata Theory, Cambridge University Press, 3rd edition, 2009
  • 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

Requirements for attendance (informal)


Requirements for attendance (formal)


References to Course [INF-41-31-K-6]

Module Name Context
[INF-41-31-M-6] Protocol Engineering P: Obligatory 2V+1U, 4.0 LP
Course-Pool Name
[INF-VVS_V-KPOOL-6] Lectures of the teaching area Distributed and Networked Systems