|
Zuverlässigkeit technischer Systeme (ZuSy)5 ECTS (englische Bezeichnung: Reliable Technical Systems)
Modulverantwortliche/r: Sebastian M. Sattler Lehrende:
Florian Deeg, Sebastian M. Sattler, Tobias Rumpel
Startsemester: |
WS 2022/2023 | Dauer: |
1 Semester | Turnus: |
jährlich (WS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch |
Lehrveranstaltungen:
-
-
Zuverlässigkeit technischer Systeme
(Vorlesung, 2 SWS, Sebastian M. Sattler, Do, 12:15 - 13:45, SR 01.030)
-
Übungen zu Zuverlässigkeit technischer Systeme
(Übung, 2 SWS, Tobias Rumpel et al., Mi, 16:15 - 17:45, SR 01.030)
Inhalt:
Die Vorlesung behandelt Methoden zur konsistenten Darstellung von zuverlässigen, rückwirkenden, digitalen Systemen. Mit Hilfe von Aussagen wird in mathematische Formalismen für den automatenorientierten Entwurf digitaler Systeme eingeführt. Spezielle Themen aus dem Bereich der durchgängigen Spezifikation allgemeiner technischer Systeme werden diskutiert.
Lernziele und Kompetenzen:
Fachkompetenz
Verstehen
Die Studierenden können die Methoden zur konsistenten Darstellung von zuverlässigen, rückwirkenden, digitalen Systemen darlegen
Die Studierenden können die mathematischen Formalismen für den automatenorientierten Entwurf digitaler Systeme können beurteilen
Die Studierenden können den Entwurf von asynchronen digitalen Automaten nachvollziehen und Analysieren
Evaluieren (beurteilen)
Erschaffen
Organisatorisches:
Erlaubte Hilfsmittel bei Prüfungen:
Weitere Informationen:
www: http://www.lzs.eei.uni-erlangen.de/vorlesungen/zusy
Studien-/Prüfungsleistungen:
Zuverlässigkeit technischer Systeme (Prüfungsnummer: 244966)
- Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet, 5 ECTS
- Anteil an der Berechnung der Modulnote: 100.0 %
- Prüfungssprache: Deutsch
- Erstablegung: WS 2022/2023, 1. Wdh.: SS 2023, 2. Wdh.: keine Wiederholung
1. Prüfer: | Sebastian M. Sattler |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|