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