Eingebettete Systeme (ES-VU)5 ECTS
(englische Bezeichnung: Embedded Systems)

Lehrveranstaltungen:

• • Eingebettete Systeme
    (Vorlesung, 2 SWS, Frank Hannig, Mi, 10:15 - 11:45, H5; Anmeldung via StudOn: https://www.studon.fau.de/crs4027166.html)
  • Übung zu Eingebettete Systeme
    (Übung, 2 SWS, Peter Brand et al.)

Inhalt:

Schwerpunkt des Moduls 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).

Content:
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:

Wissen

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

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.

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 mit erweiterter Übung“ aus.

Weitere Informationen:

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

1. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Informatik | Eingebettete Systeme)
2. Advanced Signal Processing & Communications Engineering (Master of Science)
   (Po-Vers. 2016w | TechFak | Communications Engineering (Master of Science) | Gesamtkonto | Wahlpflichtmodule | Technical Mandatory Electives | Eingebettete Systeme)
3. Advanced Signal Processing & Communications Engineering (Master of Science)
   (Po-Vers. 2020w | TechFak | Communications Engineering (Master of Science) | Gesamtkonto | Technical Mandatory Electives | Eingebettete Systeme)
4. Advanced Signal Processing & Communications Engineering (Master of Science)
   (Po-Vers. 2021w | TechFak | Communications Engineering (Master of Science) | Gesamtkonto | Technical Mandatory Electives | Eingebettete Systeme)
5. Artificial Intelligence (Master of Science)
   (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | AI Systems and Applications | Eingebettete Systeme (Vorlesung mit Übungen))
6. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2009 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Eingebettete Systeme)
7. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2010 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | Gesamtkonto | Technische Wahlmodule | Eingebettete Systeme)
8. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Informatik | Eingebettete Systeme)
9. 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 | Eingebettete Systeme (Vorlesung mit Übungen))
10. Informatik (Bachelor of Arts (2 Fächer))
    (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Hardware-Software-Co-Design | Eingebettete Systeme (Vorlesung mit Übungen))
11. Informatik (Bachelor of Science)
    (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Eingebettete Systeme (Vorlesung mit Übungen))
12. Informatik (Bachelor of Science)
    (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Eingebettete Systeme (Vorlesung mit Übungen))
13. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design | Eingebettete Systeme (Vorlesung mit Übungen))
14. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der systemorientierten Vertiefungsrichtungen | Vertiefungsrichtung Hardware-Software-Co-Design (im Studienschwerpunkt Informatik in der Fahrzeugtechnik) | Eingebettete Systeme (Vorlesung mit Übungen))
15. Information and Communication Technology (Master of Science)
    (Po-Vers. 2019s | TechFak | Information and Communication Technology (Master of Science) | Gesamtkonto | Pflicht- und Wahlpflichtmodule der Studienschwerpunkte | Schwerpunkt Embedded Systems | Pflichtmodule | Embedded Systems)
16. Informations- und Kommunikationstechnik (Bachelor of Science)
    (Po-Vers. 2009 | TechFak | Informations- und Kommunikationstechnik (Bachelor of Science) | Gesamtkonto | Wahlpflichtmodule, Wahlmodule, Seminar, Praktika, Bachelorarbeit | Wahlpflichtmodule aus Katalog für IuK | Eingebettete Systeme)
17. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Schwerpunkte im Masterstudium | Schwerpunkt Eingebettete Systeme | Pflichtmodule | Eingebettete Systeme)
18. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Schwerpunkte im Masterstudium | Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Eingebettete Systeme (Vorlesung mit Übungen))
19. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2016s | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Schwerpunkte im Masterstudium | Schwerpunkt Eingebettete Systeme | Pflichtmodule | Eingebettete Systeme)
20. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Eingebettete Systeme (Vorlesung mit Übungen))
21. Mathematik (Bachelor of Science)
    (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informations- und Kommunikationtechnik | Wahlpflichtmodule aus Katalog für IuK | Eingebettete Systeme)
22. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Hardware-Software-Co-Design | Eingebettete Systeme (Vorlesung mit Übungen))
23. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informations- und Kommunikationtechnik | Wahlpflichtmodule aus Katalog für IuK | Eingebettete Systeme)
24. Mechatronik (Bachelor of Science): 5. Semester
    (Po-Vers. 2007 | TechFak | Mechatronik (Bachelor of Science) | Mechatronik (Studienbeginn bis 30.09.2020) | Gesamtkonto | weitere Pflichtmodule | Eingebettete Systeme)
25. Mechatronik (Bachelor of Science): 5. Semester
    (Po-Vers. 2009 | TechFak | Mechatronik (Bachelor of Science) | Mechatronik (Studienbeginn bis 30.09.2020) | Gesamtkonto | weitere Pflichtmodule | Eingebettete Systeme)
26. Mechatronik (Bachelor of Science)
    (Po-Vers. 2020w | TechFak | Mechatronik (Bachelor of Science) | Mechatronik (Studienbeginn ab 01.10.2020) | Gesamtkonto | weitere Pflichtmodule | Eingebettete Systeme)
27. Mechatronik (Bachelor of Science)
    (Po-Vers. 2021w | TechFak | Mechatronik (Bachelor of Science) | Mechatronik (Studienbeginn ab 01.10.2021) | Gesamtkonto | Eingebettete Systeme)
28. Medizintechnik (Bachelor of Science)
    (Po-Vers. 2009 | TechFak | Medizintechnik (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Modulgruppen B5 und B8.1 - Kompetenzfeld Bildgebende Verfahren | Modulgruppe B8.1 - Vertiefungsmodule ET/INF | Eingebettete Systeme)
29. Medizintechnik (Bachelor of Science)
    (Po-Vers. 2013 | TechFak | Medizintechnik (Bachelor of Science) | Gesamtkonto | Vertiefungsmodule ET/INF | Vertiefungsmodule aus der Studienrichtung Bildgebende Verfahren | Eingebettete Systeme (Vorlesung mit Übungen))
30. Medizintechnik (Bachelor of Science)
    (Po-Vers. 2018w | TechFak | Medizintechnik (Bachelor of Science) | Gesamtkonto | Pflicht- und Wahlpflichtmodule der Studienrichtung Medizinelektronik, medizinische Bild- und Datenverarbeitung (Modulgruppen B5 und B8) | B8 Wahlpflichtmodule der Studienrichtung Medizinelektronik, medizinische Bild- und Datenverarbeitung | Vertiefungsmodule ET/INF | Eingebettete Systeme (Vorlesung mit Übungen))
31. Medizintechnik (Master of Science)
    (Po-Vers. 2011 | TechFak | Medizintechnik (Master of Science) | alte Prüfungsordnungen | Modulgruppen M2 - M8 | Fachrichtung 'Medizinische Bild- und Datenverarbeitung' | M2 Ingenieurswissenschaftliche Kernfächer I | Eingebettete Systeme)
32. Medizintechnik (Master of Science)
    (Po-Vers. 2011 | TechFak | Medizintechnik (Master of Science) | alte Prüfungsordnungen | Modulgruppen M2 - M8 | Fachrichtung 'Medizinelektronik' | M7 Vertiefungsfächer der Medizintechnik I | M7.5 Auswahl: Vertiefungsfächer der Medizintechnik I | Eingebettete Systeme)
33. Medizintechnik (Master of Science)
    (Po-Vers. 2013 | TechFak | Medizintechnik (Master of Science) | Studienrichtung Medizinische Bild- und Datenverarbeitung | M2 Ingenieurwissenschaftliche Kernmodule (BDV) | Eingebettete Systeme)
34. Medizintechnik (Master of Science)
    (Po-Vers. 2018w | TechFak | Medizintechnik (Master of Science) | Studienrichtung Medizinische Bild- und Datenverarbeitung | M2 Ingenieurwissenschaftliche Kernmodule (BDV) | Eingebettete Systeme)
35. Medizintechnik (Master of Science)
    (Po-Vers. 2019w | TechFak | Medizintechnik (Master of Science) | Modulgruppen M1, M2, M3, M5, M7 nach Studienrichtungen | Studienrichtung Medizinische Bild- und Datenverarbeitung | M2 Ingenieurwissenschaftliche Kernmodule (BDV) | Eingebettete Systeme)
36. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2010 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Vertiefungsbereich und Schlüsselqualifikationen | Wahlbereich | Eingebettete Systeme)
37. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2015w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Schlüsselqualifikationen | Wahlbereich | Eingebettete Systeme)
38. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2017w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Vertiefungsbereich | Eingebettete Systeme)
39. Wirtschaftsinformatik (Bachelor of Science)
    (Po-Vers. 2018w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Vertiefungsbereich | Eingebettete Systeme)

Studien-/Prüfungsleistungen:

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [5], [9], [10], [11], [12], [13], [14], [18], [20], [22], [29], [30])

Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
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 2021/2022, 1. Wdh.: SS 2022

1. Prüfer:

Frank Hannig

Termin: 13.04.2022, 14:00 Uhr, Ort: BASPH

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [1], [6], [7], [8], [24], [25], [26], [27], [28], [31], [32], [36], [37], [38], [39])

Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
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 2021/2022, 1. Wdh.: SS 2022

1. Prüfer:

Frank Hannig

Termin: 13.04.2022, 14:00 Uhr, Ort: BASPH

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

(diese Prüfung gilt nur im Kontext der Studienfächer/Vertiefungsrichtungen [2], [3], [4], [15], [16], [17], [19], [21], [23], [33], [34], [35])

Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
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 2021/2022, 1. Wdh.: SS 2022

1. Prüfer:

Frank Hannig

Termin: 13.04.2022, 14:00 Uhr, Ort: BASPHTermin: 13.04.2022, 14:00 Uhr, Ort: BASPH