Eingebettete Systeme mit erweiterter Übung (ES-VEU)7.5 ECTS
(englische Bezeichnung: Embedded Systems with Extended Exercises)

Lehrveranstaltungen:

• • Eingebettete Systeme
    (Vorlesung, 2 SWS, Jürgen Teich et al., Di, 14:15 - 15:45, H4)
  • Übung zu Eingebettete Systeme
    (Übung, 2 SWS, Jörg Fickenscher et al.)
  • Erweiterte Übungen zu Eingebettete Systeme
    (Übung, Jörg Fickenscher et al.)

Inhalt:

Schwerpunkt der Vorlesung ist der 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 the lecture 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.

• Die Studierenden lernen aktuelle Entwurfswerkzeuge für die Architektursynthese (Hardware) und Softwaresynthese kennen. / The students learn about current design tools for architectural synthesis (hardware) and software synthesis.

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.

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 architectural synthesis (hardware) and software synthesis by processing the extended exercises in groups cooperatively.

Literatur:

• Buch zur Vorlesung

• Vorlesungsskript (Zugriff nur innerhalb des Uni-Netzwerks möglich)

Organisatorisches:

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

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Hardware-Software-Co-Design)
2. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Hardware-Software-Co-Design)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design)
5. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design)
6. Informatik (Master of Science): 1-3. Semester
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design (im Studienschwerpunkt Informatik in der Fahrzeugtechnik))
7. Informations- und Kommunikationstechnik (Bachelor of Science): 5. Semester
   (Po-Vers. 2009 | TechFak | Informations- und Kommunikationstechnik (Bachelor of Science) | Wahlpflichtmodule, Wahlmodule, Seminar, Praktika, Bachelorarbeit | Wahlpflichtmodule aus Katalog für IuK)
8. Informations- und Kommunikationstechnik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Schwerpunkte im Masterstudium | Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Realisierung von Informations- und Kommunikationssystemen)
9. Informations- und Kommunikationstechnik (Master of Science)
   (Po-Vers. 2016s | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Wahlbereiche, Praktika, Seminar, Masterarbeit | Wahlmodule aus dem Angebot von EEI und Informatik)
10. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informations- und Kommunikationtechnik | Wahlpflichtmodule aus Katalog für IuK)
11. Mathematik (Bachelor of Science)
    (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design)
12. Medizintechnik (Bachelor of Science): 5-6. Semester
    (Po-Vers. 2013 | TechFak | Medizintechnik (Bachelor of Science) | Kern- und Vertiefungsmodule der Kompetenzfelder | Studienrichtung Bildgebende Verfahren | B8 Vertiefungsmodule ET/INF | Vertiefungsmodule aus der Studienrichtung Bildgebende Verfahren)
13. Medizintechnik (Master of Science)
    (Po-Vers. 2013 | TechFak | Medizintechnik (Master of Science) | Studienrichtung Medizinische Bild- und Datenverarbeitung | M2 Ingenieurwissenschaftliche Kernmodule (BDV))
14. Medizintechnik (Master of Science)
    (Po-Vers. 2018w | TechFak | Medizintechnik (Master of Science) | Studienrichtung Medizinische Bild- und Datenverarbeitung | M2 Ingenieurwissenschaftliche Kernmodule (BDV))

Studien-/Prüfungsleistungen:

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [1], [2], [3], [4], [5], [6], [8], [9], [11], [12])

Prüfungsleistung, mehrteilige Prüfung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Portfolio besteht aus: Klausur (90 min) und erfolgreicher Teilnahme an den erweiterten Übungen (verpflichtetend)
Die Modulnote ergibt sich aus der Klausurnote.

Erstablegung: WS 2018/2019, 1. Wdh.: SS 2019

1. Prüfer:

Jürgen Teich

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [13], [14])

Prüfungsleistung, mehrteilige Prüfung, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Portfolio besteht aus: Klausur (90 min) und erfolgreicher Teilnahme an den erweiterten Übungen (verpflichtetend)
Die Modulnote ergibt sich aus der Klausurnote.

Erstablegung: WS 2018/2019, 1. Wdh.: SS 2019

1. Prüfer:

Jürgen Teich