Berechenbarkeit und Formale Sprachen [BFS(A)]

Lecturer:

Rolf Wanka

Details:

Vorlesung, 4 cred.h, ECTS: 5

Dates:

Thu, 14:15 - 15:45, H9
Fri, 10:15 - 11:45, H8

Fields of study:

PF INF-BA 3

Cyber-Physical Systems [CPS(A)]

Lecturer:

Torsten Klie

Details:

Vorlesung, 2 cred.h, ECTS: 2,5

Dates:

Fri, 10:15 - 11:45, 0.151-115

Fields of study:

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

Übung zu Cyber-Physical Systems [UE-CPS(A)]

Lecturer:

Torsten Klie

Details:

Übung, ECTS: 2,5

Dates:

Thu, 14:15 - 15:45, 00.151-113

Fields of study:

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

Effiziente kombinatorische Algorithmen [EffAlg(A)]

Lecturer:

Rolf Wanka

Details:

Vorlesung, 2 cred.h, ECTS: 5

Dates:

Thu, 10:15 - 11:45, 02.134-113

Fields of study:

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

Eingebettete Systeme [ES(A)]

Lecturers:

Jürgen Teich, Frank Hannig

Details:

Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering

Dates:

Tue, 16:15 - 17:45, H5
Anmeldung via StudOn: https://www.studon.fau.de/crs3213193.html

Fields of study:

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

Lecturers:

Dominik Walter, Patrick Plagwitz, Khalil Esper

Details:

Übung, 2 cred.h, ECTS: 2,5

Dates:

verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls

Fields of study:

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(A)]

Lecturers:

Khalil Esper, Dominik Walter, Patrick Plagwitz

Details:

Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering

Fields of study:

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(A)]

Lecturer:

Stefan Wildermann

Details:

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

Dates:

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

Fields of study:

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(A)]

Lecturer:

Stefan Wildermann

Details:

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

Fields of study:

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(A)]

Lecturers:

Jürgen Teich, Stefan Wildermann

Details:

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

Dates:

Tue, Thu, 14:15 - 15:45, H11

Fields of study:

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]

Lecturers:

Marcel Brand, Mark Deutel, Jan Spieck, Christian Heidorn

Details:

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

Fields of study:

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(A)]

Lecturers:

Mark Deutel, Marcel Brand, Christian Heidorn, Jan Spieck

Details:

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

Fields of study:

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

Lecturers:

Frank Hannig, Jürgen Teich

Details:

Kolloquium, 4 cred.h

Dates:

Fri, 12:00 - 18:00, 01.255-128

Moderne Hardwarebeschreibungssprachen [MHBS(A)]

Lecturer:

Oliver Keszöcze

Details:

Vorlesung, 2 cred.h, ECTS: 5, für FAU Scientia Gaststudierende zugelassen

Dates:

Wed, 12:15 - 13:45, 02.133-113

Fields of study:

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

Contents:

Die Entwicklung von Computern war schon immer eine komplexe Aufgabe. Die ersten elektronischen Rechenmaschinen, wie die Zuse Z3, wurden am Reißbrett entwickelt: die einzelnen physikalischen Bauteile wurden manuell ausgewählt und verbunden. Mit dem Aufkommen des Transistors als Bauteil und CMOS als dominierender Technologie, wurde dieses Vorgehen immer weniger praktikabel. Moderne (Computer-)Systeme lassen sich nicht mehr von einzelnen Personen auf Papier entwickeln.

Eine Lösung für dieses Problem bieten Hardware-Beschreibungssprachen (engl. Hardware Description Language, HDL). Die zwei dominierenden HDLs, Verilog und VHDL, orientieren sich sehr stark an der zu realisierenden Hardware und abstrahieren dementsprechend verhältnismäßig wenig von der konkreten Hardware. Moderne Sprachen, wie z.B. Amaranth, Chisel oder Clash, versuchen, die Verwendung von HDLs mehr dem "Entwicklungskomfort" von Programmiersprachen anzunähern. So wurde in Chisel die Referenzimplementierung des RiscV Prozessors umgesetzt.

Der Kurs behandelt die Modellierung, Implementierung und das Testen komplexer Systeme mittels der HDLs Chisel und Clash. In den zugehörigen Übungen wird das erworbene Wissen an konkreten Aufgaben umgesetzt. (automatisch geplant, erwartete Hörerzahl original: 20, fixe Veranstaltung: nein)

Übung zu Moderne Hardwarebeschreibungssprachen

Lecturer:

Oliver Keszöcze

Details:

Übung, 2 cred.h, für FAU Scientia Gaststudierende zugelassen

Dates:

Wed, 14:00 - 16:00, 02.133-128

Fields of study:

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

Praktikum: Entwicklung interaktiver eingebetteter Systeme [PR-EES(RZ)]

Lecturer:

Joachim Falk

Details:

Praktikum, 8 cred.h, ECTS: 10

Dates:

Mon, 14:00 - 18:00, 02.133-128
Thu, 9:30 - 13:30, 02.133-128

Fields of study:

WPF INF-BA-PR ab 5

Keywords:

Praktikum

Reconfigurable Computing [RC(A)]

Lecturer:

Jürgen Teich

Details:

Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium

Dates:

Thu, 08:15 - 09:45, 01.255-128

Fields of study:

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(A)]

Lecturers:

Tobias Hahn, Chetana Pradhan, Pierre-Louis Sixdenier

Details:

Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium

Dates:

Mon, 16:15 - 17:45, 02.134-113

Fields of study:

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

Lecturer:

Pierre-Louis Sixdenier

Details:

Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium

Dates:

Mon, 9:00 - 12:00, 02.133-128
mandatory, at the workstations residing in our lab at the chair

Fields of study:

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"

Lecturer:

Oliver Keszöcze

Details:

Seminar, 2 cred.h, ECTS: 5

Dates:

8:00 - 18:00, 01.255-128

Fields of study:

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

Contents:

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. (erwartete Hörerzahl original: 12, fixe Veranstaltung: nein)

Sitzungen des LS12 [HSCD-GSZ]

Lecturer:

Jürgen Teich

Details:

Gremiensitzung

Systems- and Networks-on-a-Chip

Lecturers:

Stefan Wildermann, Chetana Pradhan

Details:

Seminar, 2 cred.h, ECTS: 5,0, nur Fachstudium

Dates:

to be determined

Fields of study:

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(A)]

Lecturer:

Rolf Wanka

Details:

Übung, 2 cred.h, ECTS: 2,5

Fields of study:

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(A)]

Lecturers:

Rolf Wanka, Matthias Kergaßner

Details:

Übung, ECTS: 2,5

Fields of study:

PF INF-BA 3

Verifikation digitaler Systeme [VdS(A)]

Lecturer:

Oliver Keszöcze

Details:

Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium

Dates:

Wed, 16:15 - 17:45, 00.152-113

Fields of study:

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

Contents:

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 (automatisch geplant, erwartete Hörerzahl original: 20, fixe Veranstaltung: nein)

Übung zur Verifikation digitaler Systeme [UE-VdS(A)]

Lecturer:

Oliver Keszöcze

Details:

Übung, 2 cred.h, ECTS: 2,5

Dates:

Mon, 14:15 - 15:45, 00.152-113

Fields of study:

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