Loading
0000001968 19S 3SWS VI Modellierung verteilter Systeme (IN2080)   Hilfe Logo

LV - Detailansicht

Wichtigste Meldungen anzeigenMeldungsfenster schließen
Allgemeine Angaben
Modellierung verteilter Systeme (IN2080) 
0000001968
Vorlesung mit integrierten Übungen
3
Sommersemester 2019
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(Kontakt)
Details
Zuordnungen: 1 
Angaben zur Abhaltung
Fast alle Rechner und Softwaresysteme sind verteilt und vernetzt bzw. laufen
in irgendeiner Form vernetzt ab. Ein große Zahl dieser Systeme sind nicht nur
untereinander verteilt und vernetzt, sondern sind auch mit physikalischen und
technischen Prozessen verbunden und weisen dementsprechend vielfältige
Benutzungsschnittstellen auf. Für die systematische Entwicklung moderner
Softwaresysteme sind Themen wie Nebenläufigkeit, Vernetzung, Interaktion und
Koordination von Systemen somit zentral. Die Modellierung und systematische
Behandlung derartiger Systeme bringt eine Vielzahl von Fragestellungen,
Phänomenen und Schwierigkeiten, die deutlich über die Behandlung
sequentieller, nichtinteraktiver Systeme hinausgehen. Die Vorlesung
präsentiert grundsätzliche Konzepte und Modelle für verteilte Systeme sowie
Möglichkeiten, diese zu beschreiben, zu spezifizieren, zu strukturieren, ihre
Eigenschaften zu analysieren und schließlich auch zu verifizieren. Die Inhalte
der Vorlesung behandeln speziell Fragen und Ansätze der Modellierung
verteilter Systeme, der gängigen Modelle und ihrer Theorien, Strukturen und
Zusammenhänge. Es werden folgende Inhalte vermittelt:
- Nebenläufige, verteilte, kooperierende Systeme:Grundbegriffe und wesentliche
Eigenschaften
- Systeme als Zustandsmaschinen
- Funktionale Beschreibung von Systemkomponenten
- Struktur-und Verteilungssicht
- Prozesse als Abläufe verteilter Systeme
- Verfeinerung von Systemen
- Nachrichtensynchrone Systeme
siehe http://www4.informatik.tu-muenchen.de/lehre/vorlesungen/mvs/SS2014/
siehe Modulbeschreibung IN2080
Deutsch

Modul IN0001; Modul IN0003; Modul IN2078 (empfohlen aber nicht notwendig); Modul IN0007
Details
Für die Anmeldung zur Teilnahme müssen Sie sich in TUMonline als Studierende/r identifizieren.
Anmerkung: siehe http://www4.informatik.tu-muenchen.de/lehre/vorlesungen/mvs/SS2014/
Zusatzinformationen
Online Unterlagen
LV-Unterlagen
E-Learning Kurs (Moodle)
[LV-Evaluation:IN]