TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Vorlesung | Wintersemester 2010/11
Modellierung verteilter Systeme
(Grundlagen der Programm- und Systementwicklung II)

Inhalt der Vorlesung:

1. Einführung
2. Zustandssicht: Zustandsmaschinen
3. Zustandsmodelle: Zustandsmaschinen und Programme
4. Zustandsmodelle: Parallele Programmierung
5. Schnittstellenmodelle: Ströme und Datenflussfunktionen
6. Schnittstellenmodelle: Spezifikation
7. Struktur- und Verteilungssicht: Systemarchitektur
8. Ablaufsicht
9. Sichtenintegration
10. Verfeinerung
11. Zeitsicht
12. Nachrichtensynchrone Systeme: CSP
13. Beispiel: Systemstrukturen im Automobil