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, Mustafa Özgül, Fr, 14:15 - 15: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 Methoden zur konsistenten Darstellung von zuverlässigen, rückwirkenden, digitalen Systemen können dargelegt werden

• Die mathematischen Formalismen für den automatenorientierten Entwurf digitaler Systeme können beurteilt werden

• Der Entwurf von asynchronen digitalen Automaten kann nachvollzogen werden Analysieren
  

Evaluieren (beurteilen)

• Die Methoden zur Darstellung von Automaten können beschrieben werden und es werden die verschiedenen Automatentypen erkannt
  

Erschaffen

• Es kann ein Automat nach einer vorgegebenen Spezifikation erstellt werden
  

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 (Master of Science)
   (Po-Vers. 2015s | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Master of Science) | Gesamtkonto | 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 %

Prüfungssprache: Deutsch

Erstablegung: WS 2019/2020, 1. Wdh.: SS 2020, 2. Wdh.: keine Wiederholung

1. Prüfer:

Sebastian M. Sattler