Veranstaltung

Modell und Analyse verteilter Systeme

Funktionen:

Seiteninhalt:
Grunddaten
Belegung über StudIP
Module
Termine
Verantwortliche Person
Studiengänge
Einrichtungen
Inhalt
Strukturbaum

Grunddaten

Veranstaltungsart	Vorlesung	SWS	3.00
Veranstaltungsnummer	23575	Semester	SS 2021
Sprache	Deutsch	Studienjahr
Hyperlink		Stud.IP

Belegung über StudIP

Es gibt keine Informationen zu einem Belegungsverfahren.

Module

1100760	Vertiefung Informatik 1
1100770	Vertiefung Informatik 2
1100790	Vertiefung Theoretische Informatik

Termine Gruppe: [unbenannt]

	Tag	Zeit	Rhythmus	Dauer	Lehrperson	Status	Bemerkung
	Mo.	11:00 bis 13:00	woch	12.04.2021 bis 12.07.2021	Wolf	findet statt	digital offline
Einzeltermine: 12.04.2021 19.04.2021 26.04.2021 03.05.2021 10.05.2021 17.05.2021 31.05.2021 07.06.2021 14.06.2021 21.06.2021 28.06.2021 05.07.2021 12.07.2021
	Do.	09:00 bis 11:00	ungerWoch	15.04.2021 bis 08.07.2021	Wolf	findet statt	digital offline

Gruppe [unbenannt]:

vormerken

Verantwortliche Person

Verantwortliche Person	Zuständigkeit
Prof. Dr. rer. nat. habil. Karsten Wolf

Studiengänge

Studiengang/Abschluss/Prüfungsversion	Semester	Teilnahmeart
Informatik, Bachelor (2016)	4. - 6. Semester	wahlobligatorisch
Informationstechnik/Technische Informatik, Bachelor (2018)	6. Semester	wahlobligatorisch
Wirtschaftsinformatik, Bachelor (2018)	4. - 6. Semester	wahlobligatorisch

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)

Inhalt

Kommentar	Die Studierenden verstehen grundlegende Phänomene verteilter Systeme und können diese modellieren und analysieren.
Literatur	Wird während der Vorlesung bekanntgegeben
Lerninhalte	* Modellierung verteilter Systeme aus verschiedenen Bereichen mit Petrinetzen - asynchrone Hardware - Geschäftsprozesse - verzeilte Programme - Logistik-Systeme - Protokolle * Eigenschaften und Phänomene verteilter Systeme - Deadlock, Livelock - Fairness - Lebendigkeit, Reversibilität, Beschränktheit * Analyse verteilter Systeme - Zustandsraumanalyse - Reduktionstechniken - Überdeckbarkeitsanalyse - Strukturelle Analyse * Zeitbewertete und stochastische verteilte Systeme * Verteilte Systeme mit Daten * Offene Systeme

Kommentar

Die Studierenden verstehen grundlegende Phänomene verteilter Systeme und können diese modellieren und analysieren.

Literatur

Wird während der Vorlesung bekanntgegeben

Lerninhalte

* Modellierung verteilter Systeme aus verschiedenen Bereichen mit Petrinetzen
      - asynchrone Hardware
      - Geschäftsprozesse
      - verzeilte Programme
      - Logistik-Systeme
      - Protokolle
* Eigenschaften und Phänomene verteilter Systeme
      - Deadlock, Livelock
      - Fairness
      - Lebendigkeit, Reversibilität, Beschränktheit
* Analyse verteilter Systeme
      - Zustandsraumanalyse
      - Reduktionstechniken
      - Überdeckbarkeitsanalyse
      - Strukturelle Analyse
* Zeitbewertete und stochastische verteilte Systeme
* Verteilte Systeme mit Daten

* Offene Systeme

Zugehörige weitere Veranstaltung
Nr.	Veranstaltungsart	Beschreibung	SWS
23575	Übung	Modell und Analyse verteilter Systeme	1.00

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2021 , Aktuelles Semester: Sommer 2024