Berechenbarkeit und Formale Sprachen [BFS]

Dozent/in:

Rolf Wanka

Angaben:

Vorlesung, 4 SWS, ECTS: 5

Termine:

Do, 14:15 - 15:45, H8
Fr, 10:15 - 11:45, H8

Studienrichtungen / Studienfächer:

PF INF-BA 3
WPF DS-BA ab 3

Cyber-Physical Systems [CPS]

Dozent/in:

Torsten Klie

Angaben:

Vorlesung, 2 SWS, ECTS: 2,5

Termine:

Mo, 12:15 - 13:45, 0.151-115

Studienrichtungen / Studienfächer:

WPF MT-MA-BDV ab 1
WF IuK-BA ab 2
WPF INF-BA-V-HSCD ab 2
WPF INF-MA ab 1
WF ICT-MA ab 1
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-BA-BV ab 5
WF CE-BA-TW ab 5

Übung zu Cyber-Physical Systems [UE-CPS]

Dozent/in:

Torsten Klie

Angaben:

Übung, ECTS: 2,5

Termine:

Do, 08:15 - 09:45, 00.151-113

Studienrichtungen / Studienfächer:

WPF MT-MA-BDV ab 1
WPF INF-BA-V-HSCD ab 2
WPF INF-MA ab 1
WF IuK-BA ab 2
WF ICT-MA ab 1
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-BA-BV ab 5
WF CE-BA-TW ab 5

Effiziente kombinatorische Algorithmen [EffAlg]

Dozent/in:

Rolf Wanka

Angaben:

Vorlesung, 2 SWS, ECTS: 5

Termine:

Di, 10:15 - 11:45, 00.151-113

Studienrichtungen / Studienfächer:

WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1

Eingebettete Systeme [ES]

Dozent/in:

Frank Hannig

Angaben:

Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering

Termine:

Mi, 10:15 - 11:45, H5
Anmeldung via StudOn: https://www.studon.fau.de/crs4027166.html

Studienrichtungen / Studienfächer:

WPF MT-BA-BV ab 5
WPF MT-MA-BDV ab 1
WPF CE-MA-TA-RT ab 3
WF CE-BA-TW ab 5
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-BA ab 5
PF IuK-MA-ES-INF 1-2
WPF IuK-MA-REA-INF ab 1
PF ICT-MA-ES 1-4
PF ME-BA 5
WPF ASC-MA 1-4

Erweiterte Übungen zu Eingebettete Systeme [EU-ES]

Dozentinnen/Dozenten:

Peter Brand, Dominik Walter

Angaben:

Übung, 2 SWS, ECTS: 2,5

Studienrichtungen / Studienfächer:

WPF CE-MA-TA-RT ab 3
WF CE-BA-TW ab 5
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF IuK-MA-ES-INF 1-2
WPF IuK-MA-REA-INF ab 1
WPF MT-BA-BV ab 5
WPF MT-MA-BDV ab 1

Übung zu Eingebettete Systeme [UE-ES]

Dozentinnen/Dozenten:

Peter Brand, Dominik Walter

Angaben:

Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering

Studienrichtungen / Studienfächer:

WPF MT-BA-BV ab 5
WPF IuK-BA ab 5
PF IuK-MA-ES-INF 1-2
WPF CE-MA-TA-RT ab 3
WF CE-BA-TW ab 5
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF ME-BA 5
WPF IuK-MA-REA-INF ab 1
PF ICT-MA-ES 1-4
WPF MT-MA-BDV ab 1
WPF ASC-MA 1-4

Ereignisgesteuerte Systeme [EGS]

Dozent/in:

Stefan Wildermann

Angaben:

Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium, Online; Auch für Computational Engineering, I&K und Medizintechnik

Termine:

Mi, 12:15 - 13:45, 02.224 Cauerstr.9

Studienrichtungen / Studienfächer:

WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF IuK-BA 3
WF CE-BA-TW ab 3
WPF MT-MA-BDV ab 1

Übung zu Ereignisgesteuerte Systeme [UE-EGS]

Dozent/in:

Stefan Wildermann

Angaben:

Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, Online; Auch für Computational Engineering, I&K und Medizintechnik

Studienrichtungen / Studienfächer:

WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
PF IuK-BA 3
WF CE-BA-TW ab 3
WPF MT-MA-BDV ab 1

Grundlagen der Technischen Informatik [GTI]

Dozentinnen/Dozenten:

Oliver Keszöcze, Stefan Wildermann

Angaben:

Vorlesung, 4 SWS, Schein, ECTS: 5, für Anfänger geeignet, Frühstudium, Schein für praktische Übungen.

Termine:

Di, 12:15 - 13:45, H11
Do, 12:15 - 13:45, H7

Studienrichtungen / Studienfächer:

PF MT-BA-BV 5
PF INF-BA 1
PF INF-LAG-M ab 5
PF INF-LAG-P ab 5
PF INF-LAG-E ab 5
PF INF-LAG-W ab 5
PF I2F-BA 3

Praktische Übungen zu Grundlagen der Technischen Informatik [PR-GTI]

Dozentinnen/Dozenten:

Marcel Brand, Jan Spieck, Christian Heidorn

Angaben:

Praktikum, für Anfänger geeignet, Frühstudium

Studienrichtungen / Studienfächer:

PF MT-BA-BV 5
PF INF-BA 1
PF INF-LAG-M ab 5
PF INF-LAG-P ab 5
PF INF-LAG-E ab 5
PF INF-LAG-W ab 5
PF I2F-BA 3

Übung zu Grundlagen der Technischen Informatik [UE-GTI]

Dozentinnen/Dozenten:

Marcel Brand, Christian Heidorn, Jan Spieck

Angaben:

Übung, 2 SWS, ECTS: 2,5, für Anfänger geeignet, Frühstudium, Zuteilung der Übungsleiter sind auf unserer Webpräsenz zu finden.

Studienrichtungen / Studienfächer:

PF MT-BA-BV 5
PF INF-BA 1
PF INF-LAG-M ab 5
PF INF-LAG-P ab 5
PF INF-LAG-E ab 5
PF INF-LAG-W ab 5
PF I2F-BA 3

Hardware-Software-Co-Design Seminar

Dozentinnen/Dozenten:

Frank Hannig, Jürgen Teich

Angaben:

Kolloquium, 4 SWS

Termine:

Fr, 12:00 - 18:00, 01.255-128
Mi, 10:00 - 12:00, 01.255-128

Praktikum: Entwicklung interaktiver eingebetteter Systeme [PR-EES]

Dozent/in:

Joachim Falk

Angaben:

Praktikum, 8 SWS, ECTS: 10

Termine:

Mo, 14:00 - 18:00, 02.133-128
Do, 9:30 - 13:30, 02.133-128
Einzeltermin am 10.3.2022, 9:30 - 15:30, 02.112-128
Vorbesprechung: Montag, 18.10.2021, 14:00 - 14:30 Uhr, 02.133-128

Studienrichtungen / Studienfächer:

WPF INF-BA-PR ab 5

Schlagwörter:

Praktikum

Reconfigurable Computing [RC]

Dozent/in:

Frank Hannig

Angaben:

Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium

Termine:

Do, 16:15 - 17:45, 01.255-128
ab 9.12.2021 online via Zoom (s. StudOn)

Studienrichtungen / Studienfächer:

WPF CE-MA-TA-RT ab 3
WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-MA-ES-INF ab 1
WPF IuK-MA-REA-INF ab 1
WPF ICT-MA-ES 1-4
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-MA-BDV ab 1
WPF ASC-MA ab 1

Exercises to Reconfigurable Computing [UE-RC]

Dozent/in:

Jorge A. Echavarria

Angaben:

Übung, 2 SWS, ECTS: 2,5, nur Fachstudium

Termine:

Do, 14:15 - 15:45, 02.134-113

Studienrichtungen / Studienfächer:

WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-MA-ES-INF ab 1
WPF IuK-MA-REA-INF ab 1
WPF ICT-MA-ES 1-4
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3
WPF MT-MA-BDV ab 1
WPF ASC-MA ab 1

Extended Exercises to Reconfigurable Computing [EU-RC]

Dozent/in:

Martin Letras

Angaben:

Übung, 2 SWS, ECTS: 2,5, nur Fachstudium, mandatory, at the workstations residing in our lab at the chair

Studienrichtungen / Studienfächer:

WPF INF-BA-V-HSCD ab 5
WPF INF-MA ab 1
WPF IuK-MA-ES-INF ab 1
WPF IuK-MA-REA-INF ab 1
WPF ICT-MA-ES 1-4
WPF ME-BA-MG6 3-6
WPF ME-MA-MG6 1-3

Seminar: Ausgewählte Kapitel aus "The Art of Computer Programming" [SEM-TACP]

Dozent/in:

Oliver Keszöcze

Angaben:

Seminar, 2 SWS, ECTS: 5

Termine:

8:00 - 18:00, 01.255-128
Vorbesprechung: Mittwoch, 20.10.2021, 10:00 - 11:00 Uhr, 02.112-128

Studienrichtungen / Studienfächer:

WPF INF-MA ab 1
WPF INF-BA-SEM ab 4

Inhalt:

Donald E. Knuth ist vielen Studierenden der naturwissenschaftlichen und technischen Fächer hauptsächlich durch sein Textsatzsystem LaTeX bekannt. Sein wissenschaftliches Hauptwerk ist jedoch das Buch "The Art of Computer Programming" (TAOCP). Anders als der Titel suggeriert, handelt es sich bei dem Buch um kein Programmierhandbuch, sondern vielmehr um ein allumfassendes Kompendium von Algorithmen und Datenstrukturen. Es wird zu Recht als "die Bibel aller fundamentalen Algorithmen" bezeichnet. Insbesondere interessant ist, dass Knuth durch seine Herangehensweise bzw. Darstellung einer völlig neue Sichtweisen auf schon bekannte Probleme erlaubt. Dieses Seminar widmet sich ausgesuchten Kapiteln aus TAOCP. Teilnehmer setzen sich mit den Inhalten auseinander und stellen diese in einem Vortrag und einer schriftlichen Ausarbeitung vor. Die Ausarbeitung kann einen Programmieranteil enthalten. Nach Rücksprache können auch eigene Kapitel ausgesucht werden. Auf Wunsch kann der Vortrag und/oder die Ausarbeitung auf Englisch verfasst werden.

Sitzungen des LS12 [HSCD-GSZ]

Dozent/in:

Jürgen Teich

Angaben:

Gremiensitzung

SoC-Entwurf [PR-SoCD]

Dozentinnen/Dozenten:

Stefan Wildermann, Tobias Hahn

Angaben:

Praktikum, 3 SWS, Schein, ECTS: 3, nur Fachstudium, Zur Anerkennung des Praktikums ist die erfolgreiche Teilnahme an den Praktikumsterminen verpflichtend.

Termine:

Blockveranstaltung 21.3.2022-25.3.2022 Mo-Fr, 9:00 - 18:00, 02.133-128
Termin verhandelbar

Studienrichtungen / Studienfächer:

WPF IuK-BA ab 5

Systems- and Networks-on-a-Chip [SNoC]

Dozentinnen/Dozenten:

Stefan Wildermann, Franz-Josef Streit

Angaben:

Seminar, 2 SWS, ECTS: 5,0, nur Fachstudium

Termine:

Zeit/Ort n.V.

Studienrichtungen / Studienfächer:

WF CE-MA-SEM ab 1
WPF INF-BA-SEM ab 4
WPF INF-MA ab 1
WPF IuK-BA ab 5

Übung Effiziente kombinatorische Algorithmen [UE-EffAlg]

Dozent/in:

Rolf Wanka

Angaben:

Übung, 2 SWS, ECTS: 2,5

Studienrichtungen / Studienfächer:

WPF CE-MA-INF ab 1
WPF INF-BA-V-THI ab 3
WPF INF-MA ab 1

Übungen zu Berechenbarkeit und Formale Sprachen [UE-BFS]

Dozentinnen/Dozenten:

Rolf Wanka, Matthias Kergaßner

Angaben:

Übung, ECTS: 2,5

Studienrichtungen / Studienfächer:

PF INF-BA 3
WPF DS-BA ab 3

Verifikation digitaler Systeme [VdS]

Dozent/in:

Oliver Keszöcze

Angaben:

Vorlesung, 2 SWS, ECTS: 2,5, nur Fachstudium

Termine:

Do, 8:00 - 10:00, 02.112-128
Einzeltermin am 28.10.2021, 8:00 - 10:00, 02.142-128

Studienrichtungen / Studienfächer:

WF CE-BA-TW ab 4
WPF INF-BA-V-HSCD ab 4
WPF INF-MA ab 1

Inhalt:

Für den Entwurf eines digitalen Systems werden heute in der Industrie ebenso viele Verifikationsingenieure wie Designer benötigt. Trotzdem beansprucht die Verifikation heute bereits 70%-80% der gesamten Entwurfszeit. Neben konventionellen Verifikationserfahren wie der Simulation sind werden seit einigen Jahren sogenannte "formale Verifikationsmethoden" in heutigen Entwursflüssen eingesetzt. Der Umgang mit diesen Methoden stellt ein wichtiges neues Aufgabenfeld dar. Im Gegensatz zur Simulation beruht die formale Verifikation auf exakten mathematischen Methoden zum Nachweis funktionaler Schaltungseigenschaften. Dadurch können Entwurfsfehler frühzeitiger und mit höherer Zuverlässigkeit als bisher erkannt werden. Jedes System zur formalen Hardwareverifikation erfordert:

• ein geeignetes Modell des zu verifizierenden Systems

• eine Sprache zur Formulierung der zu verifizierenden Eigenschaften

• eine Beweismethode.
  

Die Vorlesung behandelt diese drei Bereiche, vermittelt die grundlegenden Algorithmen und Konzepte moderner Werkzeuge für die formale Hardwareverifikation und erläutert deren Einsatz in der industriellen Praxis. Im Einzelnen werden in dieser Vorlesung die folgenden Punkte behandelt:
1. Modellierung digitaler Systeme 2. Unterschiede formaler und simulationsbasierter Verifikationsmethoden 3. Äquivalenzvergleich 4. Formale und simulationsbasierte Eigenschaftsprüfung 5. Assertions 6. Verifikation arithmetischer Schaltungen

Übung zur Verifikation digitaler Systeme [UE-VdS]

Dozent/in:

Oliver Keszöcze

Angaben:

Übung, 2 SWS, ECTS: 2,5

Termine:

Do, 10:00 - 12:00, 02.112-128
Einzeltermin am 28.10.2021, 10:00 - 12:00, 02.142-128

Studienrichtungen / Studienfächer:

WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF INF-MA ab 1