Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-41-31-M-6

Protocol Engineering (M, 4.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-41-31-M-6 Protocol Engineering 4.0 CP (120 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
Module Manager
Area of study [INF-VVS] Distributed and Networked Systems
Reference course of study [INF-88.79-SG] M.Sc. Computer Science
Livecycle-State [NORM] Active


Type/SWS Course Number Title Choice in
Presence-Time /
SL SL is
required for exa.
PL CP Sem.
2V+1U INF-41-31-K-6
Protocol Engineering
P 42 h 78 h
ja PL1 4.0 SuSe
  • About [INF-41-31-K-6]: Title: "Protocol Engineering"; Presence-Time: 42 h; Self-Study: 78 h
  • About [INF-41-31-K-6]: The study achievement "[U-Schein] proof of successful participation in the exercise classes (ungraded)" must be obtained.
    • It is a prerequisite for the examination for PL1.

Examination achievement PL1

  • Form of examination: oral examination (20-60 Min.)
  • Examination Frequency: each summer semester
  • Examination number: 64131 ("Protocol Engineering")

Evaluation of grades

The grade of the module examination is also the module grade.


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

Competencies / intended learning achievements

Acquisition of knowledge and capabilities for the engineering-like development of communication systems:
  • protocol specification with finite automata and SDL
  • protocol analysis (reachability analysis, protocol testing)
  • protocol synthesis
  • development of protocols with SDL design patterns
  • design of micro protocols with SDL
  • self-stabilizing protocols


  • 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 of the module (informal)


Requirements for attendance of the module (formal)


References to Module / Module Number [INF-41-31-M-6]

Course of Study Section Choice/Obligation
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective
[EIT-88.A20-SG#2021] M.Sc. European Master in Embedded Computing Systems (EMECS) [2021] [Free Elective Area] Elective Subjects [W] Elective Module
[EIT-88.D55-SG#2021] M.Sc. Embedded Computing Systems (ESY) [2021] [Free Elective Area] Elective Subjects [W] Elective Module