Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-41-52-K-6

Specification of Networked Systems (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. irreg.
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.


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


  • 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

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

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