UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
ACHTUNG: seit 15.06.2022 werden Lecture list nur noch über Campo verwaltet. Diese Daten in UnivIS sind nicht mehr auf aktuellem Stand!
 
 Layout
 
printable version

 
 

  Zuverlässigkeit technischer Systeme (ZuSy(A))

Lecturer
Prof. Dr.-Ing. Sebastian M. Sattler

Details
Vorlesung
Online/Präsenz
2 cred.h, ECTS studies, ECTS credits: 5
nur Fachstudium, Sprache Deutsch
Time and place: Thu 12:15 - 13:45, SR 01.030

Fields of study
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 ICT-MA ab 1
WF WING-MA ab 1

Prerequisites / Organisational information
Erlaubte Hilfsmittel bei Prüfungen:
  • schriftlich: beliebige Unterlagen, keine elektronischen Hilfsmittel

  • mündlich: keine

Contents
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

(automatisch geplant, erwartete Hörerzahl original: 30, fixe Veranstaltung: nein)

ECTS information:
Title:
Reliable Technical Systems

Credits: 5

Additional information
Expected participants: 30, Maximale Teilnehmerzahl: 50
www: http://www.lzs.eei.uni-erlangen.de/zusy
Registration is required for this lecture.
Registration starts on Thursday, 8.10.2020 and lasts till Thursday, 12.11.2020 über: StudOn.

Assigned lectures
UE ([hybrid]):Übungen zu Zuverlässigkeit technischer Systeme
Lecturers: M.Sc. Tobias Rumpel, M.Sc. Florian Deeg
Time and place: Wed 16:15 - 17:45, SR 01.030
www: http://www.lzs.eei.uni-erlangen.de/zusy

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

Department: Chair of Reliable Circuits and Systems
UnivIS is a product of Config eG, Buckenhof