Modelierung verteilter Systeme

Course details


Type: Lecture w/ Exercises

Semester: Summer Semester 2017

Language: German (English exercises)

Schedule: Tuesdays 14:00 – 15:30 (lecture), Room: 00.08.038, Seminarraum (5608.EG.038), Thursdays 10:00 – 12:00 (exercises), Room: 00.13.009A, Seminarraum (5613.EG.009A) 

Lecturer: Dr. Sebastian Voss, Saahil Ognawala (Exercises)


Links: TumOnline

Contact: Saahil Ognawala



Course content

Almost all current computer and software systems run in any form as networks. Additionally they are not only networked among themselves, in fact they are connected with physical and technical processes and according to this they use various interfaces. Thus, for studying modern software systems and their systematic development, topics such as concurrency, interaction and co- ordination of systems are central and important to know and understand. Modelling and systematic working with such systems deals with a lot of various questions, phenomena and difficulties, in contrast to sequential, not- interactive systems. This lecture presents fundamental concepts and models for distributed systems as well as description techniques to describe and specify their structure and properties with the goal to analyze and finally to verify their characteristics. The lecture covers specific questions and approaches to find models of distributed systems, their theories, structures and connections. Topics are:

  • Concurrent, distributed, cooperating systems: Fundamental ideas and substantial characteristics
  • Systems as state machines
  • Functional description of system components
  • Structure and distribution
  • Processes as execution traces in distributed systems
  • Refinement of systems
  • Message-synchronous systems