Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-41-52-M-6

Specification of Networked Systems (M, 4.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-41-52-M-6 Specification of Networked Systems 4.0 CP (120 h)


CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. irreg.
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-52-K-6
Specification of Networked Systems
P 42 h 78 h
ja PL1 4.0 irreg.
  • About [INF-41-52-K-6]: Title: "Specification of Networked Systems"; Presence-Time: 42 h; Self-Study: 78 h
  • About [INF-41-52-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: Examination only within the course
  • Examination number: 64152 ("Specification of Networked Systems")

Evaluation of grades

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


  • Specification of safety and liveness properties of networked systems with temporal logic
  • Real-time properties
  • Properties of structured systems
  • Introduction to SDL Semantics

Competencies / intended learning achievements

Capability for the abstract description of structured networked systems:
  • use of property-oriented description languages
  • specification of safety and liveness properties
  • understanding of the formal semantics of a complex design language for networked systems


  • G. E. Hughes, M. J. Cresswell: A New Introduction to Modal Logic, Routledge, 1996
  • R. Gotzhein: Open Distributed Systems — On Concepts, Methods and Design from a Logical Point of View, Verlag Vieweg, 1993 (Hörerexemplare beim Dozenten erhältlich)
  • M. Kronenburg, C. Peper: Application of the FoReST Approach to the Light Control Case Study, Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), Springer, 2000, pp. 679-703
  • ITU-T Recommendation Z.100 Annex F: SDL Formal Semantics Definition, International Telecommunications Union (ITU), Geneva, 2000

Requirements for attendance of the module (informal)


Requirements for attendance of the module (formal)


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

Course of Study Section Choice/Obligation
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective