EES: Folien

• Vorlesung 01, 16.10.2013. Einführung, endliche Automaten Folien
  Literatur: Marwedel Kapitel 1
• Vorlesung 02, 23.10.2013. Microcontroller, StateCharts Folien
  Literatur: Microcontroller: Marwedel Abschnitt 3.3.3.4, Lee/Seshia Abschnitt 7.1.1;
  StateCharts: Marwedel Abschnitt 2.4.2
• Vorlesung 03, 31.10.2013. StateChart-Semantik, Sensoren und Aktoren Folien
  Literatur: StateChart-Semantik: Marwedel Abschnitt 2.4.2.3;
  Sensoren und Aktoren: Marwedel Abschnitte 3.2 und 3.6.3, Lee/Seshia Kapitel 9
• Vorlesung 04, 06.11.2013. Zeitkontinuierliche Modelle Folien
  Simulink Beispiel: Modell, Daten
  Literatur: Marwedel Abschnitt 2.5.4; Lee/Seshia Kapitel 2, Abschnitt 6.4.3;
  Weiterführende Literatur zu Simulink: Zamboni, Angermann/Beuschel/Rau/Wohlfarth
• Vorlesung 05, 13.11.2013. Hybride Modelle, Kombinatorische Logik Folien
  Simulink Beispiel: bouncing ball
  Stateflow Beispiele: bouncing ball, clutch, superstep
  Literatur: Hybride Modelle: Lee/Seshia Kapitel 4;
  Kombinatorische Logik: Marwedel Abschnitt 3.3.1; Liebig Abschnitte 1.1 und 1.2
  
• Vorlesung 06, 20.11.2013. Kombinatorische Logik, Sequentielle Schaltungen Folien
  Literatur: Liebig Abschnitte 1.2, 2.1, 4.1 und 4.2
  
• Vorlesung 07, 27.11.2013. VHDL Folien
  VHDL Beispiele: adder.vhdl, dff.vhdl
  Literatur: Marwedel Abschnitt 2.7.1
  
• Vorlesung 08, 04.12.2013. FPGAs, Scheduling Folien
  Literatur: FPGAs: Marwedel Abschnitt 3.3.4
  Scheduling: Marwedel Abschnitt 6.2.1
• Vorlesung 09, 13.12.2013. Scheduling aperiodischer Tasks Folien
  Literatur: Marwedel Abschnitt 6.2.2, 6.2.3
• Vorlesung 10, 18.12.2013. Scheduling periodischer Tasks Folien
  Literatur: Marwedel Abschnitt 6.2.4, 6.2.5
• Vorlesung 11, 08.01.2014. Petri-Netze Folien
  Literatur: Marwedel Abschnitt 2.6
• Vorlesung 12, 15.01.2014. Kommunikationsprotokolle, Fehlertoleranz Folien
  Literatur: Marwedel Abschnitt 3.5
  
• Vorlesung 13, 22.01.2014. Zuverlässigkeit, Validierung Folien
  Literatur: Marwedel Abschnitt 5.5 – 5.8
  
• Vorlesung 14, 29.01.2014. Model Checking und Controllersynthese Folien
  Literatur: Marwedel Abschnitt 2.4.1, Lee/Seshia Abschnitt 14.1 – 14.3
  Das Model Checking Werkzeug Uppaal ist unter www.uppaal.com verfügbar (kostenlose Version unter “non profit user?”).