Modulgruppe 6: Eingebettete Systeme

	Übungen zu Künstliche Intelligenz II [UeKI II] Dozent/in: Florian Rabe Angaben: Übung, 2 SWS Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3
		Mo	14:15 - 15:45	00.131-128		N.N.
		Mo	16:15 - 17:45	00.131-128		Schäfer, J.F.
		Di	8:15 - 9:45	00.131-128		Rapp, M.G.
		Di	16:15 - 17:45	00.131-128		N.N.
		Mi	16:15 - 17:45	01.021		N.N.
		Do	16:15 - 17:45	00.131-128		N.N.

Cyber-Physical Systems [CPS] Dozent/in: Torsten Klie Angaben: Vorlesung, 2 SWS, ECTS: 2,5 Termine: Do, 14:15 - 15:45, 02.133-113 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3

Übung zu Cyber-Physical Systems [UE-CPS] Dozent/in: Torsten Klie Angaben: Übung, 2 SWS, ECTS: 2,5 Termine: Mo, 12:15 - 13:45, 02.134-113 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3

Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme [EZS2] Dozent/in: Peter Ulbrich Angaben: Vorlesung, 2 SWS, Hinweis: Die Veranstaltung findet im Sommersemester 2020 in geänderter Form statt. Termine: Do, 14:15 - 15:45, 0.031-113 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: HINWEIS für das Sommersemester 2020: Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet die hier angegebene Lehrveranstaltung in einer veränderten Fassung statt. Diese Änderungen umfassen Veranstaltungsaufbau, Übungsmodalitäten und ECTS-Zahlen. Aktuelle Informationen erhalten Sie zeitnah auf der Veranstaltungswebsite. Im Univis vorhandene Informationen sind möglicherweise veraltet. Schlagwörter: Echtzeitsysteme, Real-Time Systems, Fehlertoleranz, Fault Tolerance

	Rechnerübung zu Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme [RÜ EZS2] Dozentinnen/Dozenten: Simon Schuster, Phillip Raffeck, Florian Schmaus Angaben: Übung, 2 SWS, Hinweis: Die Veranstaltung findet im Sommersemester 2020 in geänderter Form statt. Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: HINWEIS für das Sommersemester 2020: Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet die hier angegebene Lehrveranstaltung in einer veränderten Fassung statt. Diese Änderungen umfassen Veranstaltungsaufbau, Übungsmodalitäten und ECTS-Zahlen. Aktuelle Informationen erhalten Sie zeitnah auf der Veranstaltungswebsite. Im Univis vorhandene Informationen sind möglicherweise veraltet. Schlagwörter: Echtzeitsysteme, Real-Time Systems, Fehlertoleranz, Fault Tolerance
		Mo	12:15 - 13:45	02.151-113 a CIP, 02.151-113 b CIP		Schuster, S. Raffeck, Ph. Schmaus, F.
		Di	10:15 - 11:45	02.151-113 a CIP, 02.151-113 b CIP		Schuster, S. Raffeck, Ph. Schmaus, F.

	Übungen zu Echtzeitsysteme 2 - Verlässliche Echtzeitsysteme [Ü EZS2] Dozentinnen/Dozenten: Simon Schuster, Phillip Raffeck, Florian Schmaus Angaben: Übung, 2 SWS, Hinweis: Die Veranstaltung findet im Sommersemester 2020 in geänderter Form statt. Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: HINWEIS für das Sommersemester 2020: Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet die hier angegebene Lehrveranstaltung in einer veränderten Fassung statt. Diese Änderungen umfassen Veranstaltungsaufbau, Übungsmodalitäten und ECTS-Zahlen. Aktuelle Informationen erhalten Sie zeitnah auf der Veranstaltungswebsite. Im Univis vorhandene Informationen sind möglicherweise veraltet. Schlagwörter: Echtzeitsysteme, Real-Time Systems, Fehlertoleranz, Fault Tolerance
		Mo	10:15 - 11:45	0.031-113		Schuster, S. Raffeck, Ph.

Hardware-Software-Co-Design [HSCD] Dozent/in: Jürgen Teich Angaben: Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering Termine: Di, 16:15 - 17:45, H4 Anmeldung via StudOn: https://www.studon.fau.de/crs2855419_join.html Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Inhalt: 1. Überblick und Vergleich von Architekturen und Komponenten in Hardware/Software-Systemen. 2. Aufbau eines Compilers und Codeoptimierungsverfahren für Hardware und Software 3. Hardware/Software-Partitionierung (Partitionierung komplexer Systeme, Schätzungsverfahren, Performanzanalyse, Codegenerierung) 4. Interfacesynthese (Kommunikationsarten, Synchronisation, Synthese) 5. Verifikation und Cosimulation 6. Übungen, Demonstrationen mit rechnergestützten Entwurfswerkzeugen Empfohlene Literatur: Teich, J.; Haubelt, C.: Digitale Hardware/Software-Systeme: Synthese und Optimierung; Springer, Berlin; Auflage: 2. erw. Aufl. (2. März 2007) Teich, J.: Hardware/Software-Architekturen. Ergänzendes Skriptum zur Vorlesung. Gajski, D.: Specification and Design of Embedded Systems. Prentice Hall, Englewood Cliffs, NJ, 1994.

	Erweiterte Übungen zu Hardware-Software-Co-Design [EU-HSCD] Dozentinnen/Dozenten: Franz-Josef Streit, Behnaz Pourmohseni Angaben: Übung, 2 SWS, ECTS: 2,5 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3
		Blockveranstaltung 24.7.2020-31.7.2020 Di, Fr	9:00 - 18:00	02.133-128, 02.151-128, 02.152-128		Pourmohseni, B. Streit, F.-J.

	Übungen zu Hardware-Software-Co-Design [UE-HSCD] Dozentinnen/Dozenten: Franz-Josef Streit, Behnaz Pourmohseni Angaben: Übung, 2 SWS, ECTS: 2,5 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3
		Mo	10:15 - 11:45	02.133-113		Pourmohseni, B.
		Mi	08:15 - 09:45	02.134-113		Streit, F.-J.

Human Factors in Security and Privacy [HumSecPri] Dozent/in: Zinaida Benenson Angaben: Vorlesung, 2 SWS, Schein, ECTS: 2,5 Termine: Do, 14:15 - 15:45, K1-119 Brose-Saal Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: Die Modulsprache ist Deutsch, Folien sind auf Englisch. Übungen sind auf Deutsch formuliert, und können in Englisch beantwortet werden. Klausuraufgaben werden auf Deutsch gestellt. Klausuraufgaben können sowohl auf Deutsch als auch auf Englisch beantwortet werden. This module will be held in German, slides are in English. Assignments will be formulated in German, and can be answered in German or English. Written exams will be formulated in German and can be answered in German or English. REQUIRED: basic knowledge in the area of IT security and privacy, such as security goals (CIA), basic protection mechanisms (symmetric and asymmetric cryptography principles), cryptographic hash functions, digital certificates, PKI, basics of SSL/TLS. This knowledge can be acquired through the attendance of the module “Applied IT Security” or similar modules. Inhalt: Das Modul findet online statt, solange die Corona-Maßnahmen bestehen. Termine werden voraussichtlich wie geplant stattfinden: erste Vorlesung am Do 23.4., erste Übung am Mi 29.4.20. Vorlesungen und Übungen werden aufgezeichnet und ins StudOn gestellt. Links zu entsprechenden virtuellen Räumen werden über StudoOn E-Mails kurz vor dem Vorlesungsbeginn mitgeteilt. People are often said to be "the weakest link” in the chain of IT security measures. This course provides insight into the ways in which IT security is affected by people and why it happens. Special attention will be paid to complex environments such as companies, governmental organizations or hospitals. A number of guest talks from practitioners and researchers highlight some of the issues in greater depth. The course covers the following topics: Terminology of security and privacy, technical and non-technical protection measures Development and testing of usable security mechanisms (encryption and authentication tools, security policies, security warnings) Risk perception and decision making in security and privacy context (usage of security software, reaction to security warnings, divulging information in social media) Economics approach to security and privacy decision making (traditional and behavioral economics) Trade-offs between the national security and surveillance (psychology behind the EU data retention directive and NSA programs) Psychological principles of cyber fraud (scams, phishing, social engineering) Security awareness and user education Interplay of safety and security in complex systems Research methods in human factors (qualitative vs. quantitative research, usability testing, experimental design, survey design, interviews)

	Human Factors in Security and Privacy - Übung [HumSecPriÜ] Dozent/in: Zinaida Benenson Angaben: Übung, 2 SWS, Schein, ECTS: 2,5, Übung zur Vorlesung HumSecPri Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: Derzeit ist geplant, dass die erste Übung in der zweiten Vorlesungswoche stattfindet: im SS 2020 am 29.4. Falls sich wegen der Corona-Situation etwas ändert, werden Sie per StudoOn-Mitteilung benachrichtigt. Die Modulsprache ist Deutsch, Folien sind auf Englisch. Übungen sind auf Deutsch formuliert, und können in Englisch beantwortet werden. Klausuraufgaben werden auf Deutsch gestellt. Klausuraufgaben können sowohl auf Deutsch als auch auf Englisch beantwortet werden. This module will be held in German, slides are in English. Assignments will be formulated in German, and can be answered in German or English. Written exams will be formulated in German and can be answered in German or English. REQUIRED: basic knowledge in the area of IT security and privacy, such as security goals (CIA), basic protection mechanisms (symmetric and asymmetric cryptography principles), cryptographic hash functions, digital certificates, PKI, basics of SSL/TLS. This knowledge can be acquired through the attendance of the module “Applied IT Security” or similar modules Inhalt: Das Modul findet online statt, solange die Corona-Maßnahmen bestehen. Termine werden voraussichtlich wie geplant stattfinden: erste Vorlesung am Do 23.4., erste Übung am Mi 29.4.20. Vorlesungen und Übungen werden aufgezeichnet und ins StudOn gestellt. Links zu entsprechenden virtuellen Räumen werden über StudoOn E-Mails kurz vor dem Vorlesungsbeginn mitgeteilt. The exercises aim at deepening the understanding of the topics and are highly relevant for oral examinations. We plan to conduct approximately eight exercises per semester; the rest of the exercises is reserved for the guest talks. A typical exercise consist of two parts: (1) For each topic, the students receive a homework assignment consisting of practical exercises. (2) For each topic, the students receive 1-3 papers to read for the next exercise. The papers will be discussed in the class with the teaching assistant.
		Mi	16:15 - 17:45	K1-119 Brose-Saal		Tutoren

Künstliche Intelligenz II [KI II] Dozent/in: Michael Kohlhase Angaben: Vorlesung, 4 SWS, Artificial Intelligence II will take place this semester, probably online. For details, see the announcements at https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II Termine: Di, 12:15 - 13:45, H8 Mi, 16:15 - 17:45, H8 Artificial Intelligence II will take place this semester, probably online. For details, see the announcements at https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Inhalt: Artificial Intelligence II will take place this semester, probably online. For details, see the announcements at https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und dem Sprachverstehen. Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter. Lernziele und Kompetenzen Fach- Lern- bzw. Methodenkompetenz Wissen: Die Studierenden lernen grundlegende Repräsentationsformalismen und Algorithmen der Künstlichen Intelligenz kennen. Anwenden: Die Konzepte werden an Beispielen aus der realen Welt angewandt (Übungsaufgaben). Analyse: Die Studierenden lernen über die Modellierung in der Maschine menschliche Intelligenzleistungen besser einzuschätzen. Sozialkompetenz Die Studierenden arbeiten in Kleingruppen zusammen um kleine Projekte zu bewältigen Empfohlene Literatur: Die Vor­lesung folgt weit­ge­hend dem Buch Stu­art Rus­sell und Peter Norvig: Ar­ti­fi­cial In­tel­li­gence: A Mod­ern Ap­proach. Pren­tice Hall, 3rd edi­tion, 2009. Deutsche Aus­gabe: Stu­art Rus­sell und Peter Norvig: Künstliche In­tel­li­genz: Ein Mod­ern­er Ansatz. Pear­son-Studi­um, 2004 (Überset­zung der 2.Auflage). ISBN: 978-3-8273-7089-1

Parallele Systeme [PSys] Dozentinnen/Dozenten: Frank Hannig, Jürgen Teich Angaben: Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium Termine: Do, 12:15 - 13:45, 01.255-128 Anmeldung via StudOn: https://www.studon.fau.de/studon/goto.php?target=crs_2850324 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Inhalt: Selbst unser PC erlaubt bereits ein hohes Maß an nebenläufiger Verarbeitung von Daten. Die effiziente Ausnutzung von Parallelität bedarf allerdings auch spezieller Programmier- und Übersetzungstechniken. Beschrieben werden Eigenschaften unterschiedlicher paralleler Rechnerarchitekturen und Metriken zu deren Beurteilung. Weiterhin werden Modelle und Sprachen zum Programmieren paralleler Rechner eingeführt. Neben der Programmierung von allgemeinen Parallelrechnern werden Entwurfsmethoden (CAD) vorgestellt, wie man ausgehend von einer algorithmischen Problemstellung massiv parallele Rechenfelder in VLSI herleiten kann. Im Einzelnen werden behandelt: 1. Theorie der Parallelität (parallele Computermodelle, parallele Spezifikationsformen und -sprachen, Performanzmodelle und -berechnung) 2. Klassifikation paralleler und skalierbarer Rechnerarchitekturen (Multiprozessoren und Multicomputer, Vektorrechner, Datenflussmaschinen, VLSI-Rechenfelder) 3. Programmierung paralleler Rechner (Sprachen und Modelle, Entwurfsmethoden und Compiler, Optimierung) 4. Massive Parallelität: Vom Algorithmus zur Schaltung Theoretische und praktische Übungen mit rechnergestützten Werkzeugen

	Erweiterte Übungen zu Parallele Systeme [EU-PSys] Dozentinnen/Dozenten: Marcel Brand, Michael Witterauf Angaben: Übung, 2 SWS, ECTS: 2,5 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3
		n.V.				Witterauf, M. Brand, M. Groth, S.

	Übung zu Parallele Systeme [UE-PSys] Dozent/in: Frank Hannig Angaben: Übung, 2 SWS, ECTS: 2,5 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3
		Mo	12:15 - 13:45	01.255-128		Witterauf, M.
		Do	14:15 - 15:45	01.255-128		Groth, S. Özkan, M.A.
		Do Einzeltermine am 29.6.2020 1.7.2020 2.7.2020 3.7.2020 6.7.2020 8.7.2020 9.7.2020 10.7.2020 15.7.2020 16.7.2020, 17.7.2020 20.7.2020 22.7.2020 23.7.2020, 24.7.2020 27.7.2020 29.7.2020 30.7.2020, 31.7.2020 3.8.2020 5.8.2020 6.8.2020 7.8.2020, 13.8.2020	14:15 - 15:45 12:00 - 20:00 8:00 - 14:00 8:00 - 14:00 8:00 - 14:00 12:00 - 20:00 8:00 - 14:00 8:00 - 14:00 8:00 - 14:00 8:00 - 12:00 8:00 - 14:00 8:00 - 18:00 8:00 - 14:00 8:00 - 18:00 8:00 - 12:00 8:00 - 14:00 12:00 - 20:00 8:00 - 14:00 8:00 - 14:00 8:00 - 14:00	02.133-128 02.133-128 02.133-128 n.V. 02.133-128 02.133-128 02.133-128 n.V. 02.133-128 n.V. n.V. n.V. n.V. n.V. n.V. n.V. n.V. 02.133-128 02.133-128 n.V. 02.133-128		Hannig, F.

Security in Embedded Hardware [SEH] Dozent/in: Jürgen Teich Angaben: Vorlesung, 2 SWS, ECTS: 2,5 Termine: Di, 12:15 - 13:45, 01.150-128 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Inhalt: Der Schutz eingebetteter Systeme gegenüber Angriffe Dritter auf gespeicherte Daten und Implementierungen, stellt eine immer wichtigere, jedoch auch durch zunehmende Vernetzung herausfordernde Aufgabe dar. Der Schutz der eingebetteten Systeme gegenüber bekannten als auch neueren ausgeklügelten Angriffsmöglichkeiten ist Gegenstand dieser Vorlesung. Es wird gezeigt, welche Angriffe existieren, welche Gegenmaßnahmen man ergreifen kann und wie man sichere eingebettete Systeme entwirft. Einleitung und Motivation Was ist Security? Die Bedeutung von Security für zuverlässige Systeme Klassifikation von Angriffen Entwurf eingebetteter Systeme Angriffsszenarien Beispiele von Angriffsszenarien Kryptographischer Algorithmen als Ziel von Angriffen Angriffe durch Einschleusen von Code (Code Injection Attacks) Welche Arten von Code Injection-Angriffe gibt es? Gegenmaßnahmen Invasive physikalische Angriffe (Invasive Physical Attacks) Microprobing Reverse Engineering Differential Fault Analysis Gegenmaßnahmen Nichtinvasive softwarebasierte Angriffe (Non-Invasive Logical Attacks) Erlangen von nicht autorisiertem Zugriff Gegenmaßnahmen Nichtinvasive physikalische Angriffe (Non-Invasive Physical Attacks) Abhören Seitenkanalangriffe Gegenmaßnahmen Empfohlene Literatur: Catherine H. Gebotys Security in Embedded Devices. Springer 2010. Benoit Badrignans et al. Security Trends for FPGAs. Springer 2011. Daniel Ziener Techniques for Increasing Security and Reliability of IP Cores Embedded in FPGA and ASIC Designs. Dr. Hut 2010.

	Übung zu Security in Embedded Hardware [UE-SEH] Dozent/in: Jürgen Teich Angaben: Übung, 2 SWS, ECTS: 2,5 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3
		Di Einzeltermin am 9.6.2020	14:15 - 15:45 14:15 - 15:45	02.133-128 02.151-128, 02.152-128, 02.133-128		Schlumberger, J.
		Mi Einzeltermin am 10.6.2020	14:15 - 15:45 14:15 - 15:45	02.133-128 02.151-128, 02.152-128, 02.133-128		Brand, P.

Verteilte Systeme (fällt aus) [VS] Dozentinnen/Dozenten: Tobias Distler, Jürgen Kleinöder Angaben: Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium Termine: Mo, 12:15 - 13:45, 0.031-113 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: HINWEIS für das Sommersemester 2020: Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet diese Lehrveranstaltung nicht statt.

Erweiterte Übungen zu Verteilte Systeme (fällt aus) [EÜ VS] Dozentinnen/Dozenten: Michael Eischer, Laura Lawniczak, Tobias Distler Angaben: Übung, 4 SWS, ECTS: 5 Termine: Mi, 14:15 - 15:45, 02.151-113 b CIP Di, 12:15 - 13:45, 0.031-113 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: HINWEIS für das Sommersemester 2020: Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet diese Lehrveranstaltung nicht statt.

Übungen zu Verteilte Systeme (fällt aus) [Ü VS] Dozentinnen/Dozenten: Michael Eischer, Laura Lawniczak, Tobias Distler Angaben: Übung, 2 SWS, ECTS: 2,5 Termine: Mi, 14:15 - 15:45, 02.151-113 a CIP Di, 12:15 - 13:45, 0.031-113 Studienrichtungen / Studienfächer: WPF ME-MA-MG6 1-3 Voraussetzungen / Organisatorisches: HINWEIS für das Sommersemester 2020: Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet diese Lehrveranstaltung nicht statt.