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

  
 
Modulbeschreibung (PDF)

  
 
 Außerdem im UnivIS
 
Vorlesungs- und Modulverzeichnis nach Studiengängen

Vorlesungsverzeichnis

  
 
Veranstaltungskalender

Stellenangebote

Möbel-/Rechnerbörse

  
 
Elektrotechnik, Elektronik und Informationstechnik (Master of Science) >>

Zuverlässigkeit technischer Systeme (ZuSy)5 ECTS
(englische Bezeichnung: Reliable Technical Systems)
(Prüfungsordnungsmodul: Wahlmodulbereich aus der FAU)

Modulverantwortliche/r: Sebastian M. Sattler
Lehrende: Sebastian M. Sattler, Mustafa Özgül

Startsemester: WS 2019/2020Dauer: 1 SemesterTurnus: jährlich (WS)
Präsenzzeit: 90 Std.Eigenstudium: 60 Std.Sprache: Deutsch

Lehrveranstaltungen:

Die allgemeine Modulbeschreibung des Prüfungsordnungsmoduls Wahlmodulbereich aus der FAU finden Sie hier.

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:

www: http://www.lzs.eei.uni-erlangen.de/vorlesungen/zusy

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

  1. Elektrotechnik, Elektronik und Informationstechnik (Master of Science)
    (Po-Vers. 2015s | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Master of Science) | Gesamtkonto | Wahlmodulbereich aus der FAU)
Dieses Modul ist daneben auch in den Studienfächern "Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science)", "Mechatronik (Bachelor of Science)", "Mechatronik (Master of Science)" verwendbar. Details

Studien-/Prüfungsleistungen:

UnivIS ist ein Produkt der Config eG, Buckenhof