Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Veranstaltung

Modell und Analyse verteilter Systeme

  • Funktionen:

Grunddaten

Veranstaltungsart Vorlesung SWS 3.00
Veranstaltungsnummer 23575 Semester SS 2024
Sprache Deutsch Studienjahr
Hyperlink Stud.IP Link zu dieser Lehrveranstaltung in Stud.IP

Belegung über StudIP

Status Link
offene Belegung (kein Anmeldeverfahren)    Link

Module

1100760 Vertiefung Informatik 1
1100770 Vertiefung Informatik 2
1100790 Vertiefung Theoretische Informatik
1101370 Modellierung und Analyse verteilter Systeme

Termine Gruppe: [unbenannt] iCalendar Export für Outlook

  Tag Zeit Rhythmus Dauer Raum Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook 		Di. 13:00 bis 15:00 ungerWoch 09.04.2024 bis 16.07.2024  A.-Einstein-Str. 22 - HS 037, A.-Einstein-Str. 22 Raumplan Wolf findet statt    
Einzeltermine anzeigen
iCalendar Export für Outlook 		Do. 09:00 bis 11:00 woch 11.04.2024 bis 18.07.2024  A.-Einstein-Str. 26 - SR 014, A.-Einstein-Str. 26 Raumplan Wolf findet statt    
Gruppe [unbenannt]:
 

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) 5. - 6. Semester wahlobligatorisch
Informationstechnik/Technische Informatik, Bachelor (2021) 5. - 6. Semester wahlobligatorisch
Wirtschaftsinformatik, Bachelor (2018) 4. - 6. Semester wahlobligatorisch
Wirtschaftsinformatik, Bachelor (2021) 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


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

Strukturbaum

Die Veranstaltung wurde 4 mal im Vorlesungsverzeichnis Sommer 2024 gefunden:
Bachelor Informatik · · · · [+]