EES: Folien
- Vorlesung 01, 22.10.2014. Einführung, endliche Automaten
Folien (rev 2)
Literatur: Marwedel Kapitel 1
- Vorlesung 02, 29.10.2014. Microcontroller
Folien
Literatur: Marwedel Abschnitt 3.3.3.4, Lee/Seshia Abschnitt 7.1.1
- Vorlesung 03, 05.11.2014. StateCharts
Folien
Literatur: Marwedel Abschnitt 2.4.2
- Vorlesung 04, 12.11.2014. Sensoren und Aktoren
Folien
Literatur: Marwedel Abschnitte 3.2 und 3.6.3, Lee/Seshia Kapitel 9
- Vorlesung 05, 19.11.2014. Zeitkontinuierliche Modelle
Folien
Simulink Beispiel: Modell, Daten
Literatur: Marwedel Abschnitt 2.5.4; Lee/Seshia Kapitel 2, Abschnitt 6.4.3
- Vorlesung 06, 26.11.2014. Hybride Modelle
Folien
Literatur: Lee/Seshia Kapitel 4
- Vorlesung 07, 03.12.2014. Kombinatorische Logik, Sequentielle Schaltungen
Folien
Literatur: Liebig Abschnitte 1.1, 1.2, 2.1, 4.1 und 4.2
- Vorlesung 08, 10.12.2014. VHDL, Teil 1
Folien
VHDL Beispiel: adder.vhdl
Literatur: Marwedel Abschnitt 2.7.1
- Vorlesung 09, 17.12.2014. VHDL, Teil 2
Folien
Literatur: Marwedel Abschnitt 2.7.1.5
- Vorlesung 10, 07.01.2015. Scheduling aperiodischer Tasks
Folien
Literatur: Marwedel Abschnitt 6.2.1, 6.2.2
- Vorlesung 11, 14.01.2015. Scheduling periodischer Tasks
Folien
Literatur: Marwedel Abschnitt 6.2.3, 6.2.4, 6.2.5
- Vorlesung 12, 21.01.2015. Petri-Netze
Folien
Literatur: Marwedel Abschnitt 2.6
- Vorlesung 13, 27.01.2015. Invarianten, Fehlertoleranz
Folien
Literatur: Marwedel Abschnitt 2.6.3
- Vorlesung 14, 04.02.2015. Zuverlässigkeit, Validierung
Folien
Literatur: Marwedel Abschnitt 5.5 – 5.8