Zuverlässigkeit technischer Systeme (ZuSy)5 ECTS
(englische Bezeichnung: Reliable Technical Systems)

Lehrveranstaltungen:

• • Zuverlässigkeit technischer Systeme
    (Vorlesung, 2 SWS, Sebastian M. Sattler, Di, 14:15 - 15:45, SR 01.030)
  • Übungen zu Zuverlässigkeit technischer Systeme
    (Übung, 2 SWS, Feng Liu et al., Mo, 18:15 - 19: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.

• Motivation

• Aussagen

• Spezifikation

• Multi-Set

• Komplementärlogik, Limesdiagramm

• Automat

• Modellierung

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)

• Die Studierenden können die Methoden zur Darstellung von Automaten beschreiben und erkennen die verschiedenen Automatentypen
  

Erschaffen

• Die Studierenden können einen Automaten nach einer vorgegebenen Spezifikation erstellen

Organisatorisches:

Erlaubte Hilfsmittel bei Prüfungen:

• schriftlich: beliebige Unterlagen, keine elektronischen Hilfsmittel

• mündlich: keine

Weitere Informationen:

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

1. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science)
   (Po-Vers. 2019w | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Gesamtkonto | Wahlfächer | Technische Wahlfächer (aus dem Angebot der Technischen Fakultät frei wählbar) | Zuverlässigkeit technischer Systeme)

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 2020/2021, 1. Wdh.: SS 2021, 2. Wdh.: keine Wiederholung

1. Prüfer:

Sebastian M. Sattler