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:   
 
 Layout
 
printable version

  
 
Module Description Sheet (PDF)

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 

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

Start semester: WS 2018/2019Duration: 1 semesterCycle: jährlich (WS)
Präsenzzeit: 90 Std.Eigenstudium: 60 Std.Language: Deutsch

Lectures:

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:

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 2018/2019, 1. Wdh.: SS 2019, 2. Wdh.: keine Wiederholung
1. Prüfer: Sebastian M. Sattler

UnivIS is a product of Config eG, Buckenhof