UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

Stellenangebote

Möbel-/Rechnerbörse

 
 
Vorlesungs- und Modulverzeichnis nach Studiengängen >> Lehrveranstaltungsverzeichnis der Wahlfächer >>

  Zuverlässigkeit technischer Systeme (ZuSy)

Dozent/in
Prof. Dr.-Ing. Sebastian M. Sattler

Angaben
Vorlesung
2 SWS, ECTS-Studium, ECTS-Credits: 5
nur Fachstudium, Sprache Deutsch
Zeit und Ort: Mo 12:15 - 13:45, SR 01.030

Studienfächer / Studienrichtungen
WF WING-BA-IKS ab 1
WF ME-BA ab 1
WF ME-MA ab 1
WF IuK-BA ab 1
WF EEI-BA-MIK ab 1
WF EEI-MA-MIK ab 1
WF EEI-MA ab 1
WF IuK-MA ab 1
WF WING-MA ab 1

Voraussetzungen / Organisatorisches
Erlaubte Hilfsmittel bei Prüfungen:
  • schriftlich: beliebige Unterlagen, keine elektronischen Hilfsmittel

  • mündlich: keine

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

ECTS-Informationen:
Title:
Reliable Technical Systems

Credits: 5

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 30, Maximale Teilnehmerzahl: 50
www: http://www.lzs.eei.uni-erlangen.de/zusy

Zugeordnete Lehrveranstaltungen
UE: Übungen zu Zuverlässigkeit technischer Systeme
Dozentinnen/Dozenten: Dipl.-Math. Mustafa Özgül, Dipl.-Inf. Gürkan Uygur
Zeit und Ort: Mi 10:15 - 11:45, SR 01.030
www: http://www.lzs.eei.uni-erlangen.de/zusy

Verwendung in folgenden UnivIS-Modulen
Startsemester WS 2017/2018:
Zuverlässigkeit technischer Systeme (ZuSy)

Institution: Lehrstuhl für Zuverlässige Schaltungen und Systeme
UnivIS ist ein Produkt der Config eG, Buckenhof