|
Vorlesungs- und Modulverzeichnis nach Studiengängen >> Technische Fakultät (Tech) >> Mechatronik (ME) >> Masterstudiengang >> Lehrveranstaltungsverzeichnis >> Vertiefungsrichtungen: >>
|
Modulgruppe 6: Eingebettete Systeme
|
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.
|
|
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
- Empfohlene Literatur:
- Die Vorlesung folgt weitgehend dem Buch
Stuart Russell und Peter Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall, 3rd edition, 2009.
Deutsche Ausgabe:
Stuart Russell und Peter Norvig: Künstliche Intelligenz: Ein Moderner Ansatz. Pearson-Studium, 2004 (Übersetzung 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
|
|
Ü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
Angriffe durch Einschleusen von Code (Code Injection Attacks)
Invasive physikalische Angriffe (Invasive Physical Attacks)
Nichtinvasive softwarebasierte Angriffe (Non-Invasive Logical Attacks)
Nichtinvasive physikalische Angriffe (Non-Invasive Physical Attacks)
Abhören
Seitenkanalangriffe
Gegenmaßnahmen
- Empfohlene Literatur:
-
|
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|