Entwicklung benutzergesteuerter eingebetteter Systeme
VKZ: 03-705.52

Hui Shi

Kursbeschreibung

Dieser Kurs beschäftigt sich mit drei Themen zu "Benutzergesteuerte Eingebettete Systeme".

  1. Interaktion zwischen Benutzer und Computer in benutzergesteuerten Systemen
  2. Gemeinsame Steuerung eingebetteter Systeme von Benutzer und Computer
  3. Formale Methoden zur Modellierung beutzergesteuerter eingebetteter Systeme
Die Formale Methode CSP - Communicating Sequential Processes - wird im Kurs eingeführt und für die Modellierung verwendet.

Termine

Vorlesung Di. 8-10, MZH 7230
Übung Di. 13-15, MZH 7220

Folien

  1. Organisatorishes (20.04.2004)
  2. HCI - Human-Computer Interaction (27.04.2004)
  3. Shared-Control Systeme (04.05.2004)
  4. Entwurfsprozess (11.05.2004)
  5. CSP Processes (18.05.2004)
  6. Operational Semantics of CSP (25.05.2004)
    7. CSP Beispiele:
  7. Traces Model of CSP (01.06.2004 und 15.06.2004)
    CSP Beispiel:
  8. Kognitive Modelle(22.06.2004)
  9. Modelle der Dialoge(29.06.2004)
  10. Modelle der Systeme(06.07.2004)

Übungen

1. Übungsblatt (Ausgabe: 04.05.2004, Abgabe: 25.05.2004)
Folien zu ZustandsÜgangsdiagrammen

2. Übungsblatt (Ausgabe: 25.05.2004, Abgabe: 15.06.2004)
Achtung: neuer Abgabetermin am 22.06.2004
Ein Beispiel zum FDR
byza1.fdr2 und byza2.fdr2 sind Lösungsbeispiele
Handbuch zu FDR

3. Übungsblatt (Ausgabe: 22.06.2004, Abgabe: 13.07.2004)
Achtung: Änderung

Taiji