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

Lectures:

• • Zuverlässigkeit technischer Systeme
    (Vorlesung, 2 SWS, Sebastian M. Sattler, Mon, 12:15 - 13:45, SR 01.030)
  • Übungen zu Zuverlässigkeit technischer Systeme
    (Übung, 2 SWS, Mustafa Özgül et al., Wed, 10:15 - 11: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

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. 2009 | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Wahlfächer | Technische Wahlfächer (aus dem Angebot der Technischen Fakultät frei wählbar))
2. Elektrotechnik, Elektronik und Informationstechnik (Master of Science)
   (Po-Vers. 2015s | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Master of Science) | Masterprüfung | Wahlmodulbereich aus der FAU)

Studien-/Prüfungsleistungen:

Zuverlässigkeit technischer Systeme_ (Prüfungsnummer: 244966)

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

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: WS 2017/2018, 1. Wdh.: SS 2018, 2. Wdh.: keine Wiederholung

1. Prüfer:

Sebastian M. Sattler