Eingebettete Systeme mit erweiterter Übung (ES-VEU)7.5 ECTS
(englische Bezeichnung: Embedded Systems with Extended Exercises)
(Prüfungsordnungsmodul: Eingebettete Systeme (Vorlesung mit erweiterten Übungen))

Lehrveranstaltungen:

• • Eingebettete Systeme
    (Vorlesung, 2 SWS, Jürgen Teich et al., Di, 16:15 - 17:45, H5; Anmeldung via StudOn: https://www.studon.fau.de/crs3213193.html)
  • Übung zu Eingebettete Systeme
    (Übung, 2 SWS, Khalil Esper et al.)
  • Erweiterte Übungen zu Eingebettete Systeme
    (Übung, 2 SWS, Dominik Walter et al., verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls)

Inhalt:

Das Modul, Eingebettete Systeme mit erweiterter Übung, thematisiert den Entwurf und die Implementierung eingebetteter Systeme unter Einsatz formaler Methoden und rechnergestützter Entwurfsverfahren.
Unter eingebetteten Systemen versteht man Rechensysteme, die auf einen Anwendungsbereich zugeschnitten (z.B. mobile Kommunikationsgeräte, Chipkartensysteme, Industriesteuerungen, Unterhaltungselektronik, Medizintechnik) und in einen technischen Kontext eingebunden sind. Das große Interesse am systematischen Entwurf von heterogenen eingebetteten Systemen ist verursacht durch die steigende Vielfalt und Komplexität von Anwendungen für eingebettete Systeme, die Notwendigkeit, Entwurfs- und Testkosten zu senken sowie durch Fortschritte in Schlüsseltechnologien (Mikroelektronik, formale Methoden).

The focus of this module is the design and implementation of embedded systems using formal methods and computer-aided design techniques.
Embedded systems are computing systems tailored for a particular application (e.g., mobile communication devices, smart card systems, industrial control, consumer electronics, medical technology) and integrated into a technical context. The keen interest in the systematic design of heterogeneous embedded systems is driven by the increasing diversity and complexity of embedded system applications, the need to reduce design and test costs, and advances in key technologies (microelectronics, formal methods).

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

• Die Studierenden setzen sich mit einem aktuellen Forschungsgebiet auseinander. / The students deal with a current field of research.

• In den erweiterten Übungen lernen die Studierenden aktuelle Entwurfswerkzeuge für die Architektursynthese (Hardware) und Softwaresynthese vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls kennen. / In the extended exercises, the students learn about current design tools for architecture synthesis (hardware) and software synthesis on-site at the chair's computer workstations.

Verstehen

• Die Studierenden verstehen grundlegende Konzepte des Entwurfs eingebetteter Systeme. / The students become familiar with the fundamental concepts of designing of embedded systems.

Anwenden

• Die Studierenden wenden grundlegende Algorithmen an zur Analyse und Optimierung von Hardware-Architekturen und Echtzeit-Softwaresystemen. / The students apply basic algorithms to analyze and optimize hardware architectures and real-time software systems.

• Die Studierenden erfassen den Hardware/Software-Entwurf von Systemen mit harten Beschränkungen. / The students understand the hardware/software design of hard-constrained systems.

• Die Studierenden wenden aktuelle Entwurfswerkzeuge, die auf den Rechnerarbeitsplätzen des Lehrstuhls installiert sind, an, um damit die Aufgaben der erweiterten Übungen unter Anleitung zu lösen. / The students apply current design tools installed on the chair's computer workstations to solve the tasks of the extended exercises with the help of instructions.

Sozialkompetenz

• Die Studierenden lernen aktuelle Entwurfswerkzeuge für die Architektursynthese (Hardware) und Softwaresynthese kennen bei der kooperativen Bearbeitung der erweiterten Übung in Gruppen. / The students learn about current design tools for architecture synthesis (hardware) and software synthesis by processing the extended exercises in groups cooperatively.

Literatur:

empfohlenes Buch zur Begleitung und Vertiefung:

• Teich J., Haubelt C.: "Digitale Hardware/Software-Systeme: Synthese und Optimierung", Springer-Verlag, 2007, ISBN: 978-3-540-46822-6
  

Organisatorisches:

Die Auswahl dieses Moduls schließt die Auswahl des Moduls „Eingebettete Systeme“ aus.

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Artificial Intelligence (Master of Science)
   (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | AI Systems and Applications | Eingebettete Systeme (Vorlesung mit erweiterten Übungen))

Studien-/Prüfungsleistungen:

Eingebettete Systeme (Vorlesung mit erweiterten Übungen) (Prüfungsnummer: 773774)

Prüfungsleistung, mehrteilige Prüfung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Klausur (90 min) und erfolgreicher Bearbeitung aller Übungsaufgaben in den erweiterten Übungen (verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls).
Die Modulnote ergibt sich aus der Klausurnote.

• Unterrichtssprache: Die Vorlesung wird auf Deutsch gehalten. Zusätzlich werden englische Vorlesungsaufzeichnungen zur Verfügung gestellt.

• Prüfungssprache: Die Sprache der Klausur ist abhängig von der Wahl der Studierenden entweder Deutsch oder Englisch.

Erstablegung: WS 2022/2023, 1. Wdh.: SS 2023

1. Prüfer:

Jürgen Teich

Termin: 29.09.2022