Zuverlässigkeit technischer Syteme (ZuSy)
Allgemeine Informationen
- Wahlmodul für BPT, EEI ,ME, IuK u. WING im WS
- Vorlesung: Di., 16:15 - 17:45 Uhr
- Vorlesung wird hybrid angeboten (Handouts stehen online zur Verfügung, bitte ausgedruckt zur Vorlesung mitbringen)
- Vorlesung steht nach der Präsenzveranstaltung online zur Verfügung (Anmeldung bei StudON)
- Übung: Di., 14:15 - 15:45 Uhr erster Termin am 17.10.2023 ist Vorlesung
- Ort: Seminarraum SR 01.030 am LZS (Röthelheim-Campus)
- Zeitlicher Umfang: 2 + 2 SWS (Vorlesung + Übung) / ECTS: 5
- Anmeldung: StudON
- Ansprechpartner: M.Sc. Tobias Rumpel
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.
Gliederung
Motivation
- Big Data Analyse, Übertragungsfunktion, Russelsche Antonomie
Aussagen
- Positive Logik zur Darstellung 3-wertiger Partitionen
- Kategorisieren mit Hilfe von Eigenschaften
- Motivation für Test
Spezifikation
- Darstellung mit Hilfe von bekannten Strukturen aus der Schaltungstechnik
- Unterschiede von Signalen zu Leitungen, Betriebsmodi und Pinmapping
- Analoge, Digitale und Parametrische Pins
Multi-Set
- Projektionen und wesentlichen Eigenschaften von Mengen und Modulen
- Rechnen im Multiset, Inverses, Komplement und Dualität
Komplementärlogik, Limesdiagramm
Automat
- SFG, CA/CM/KV-Diagramm
- QVL/TVL, Sequenz, Potenzmenge
- Liste vs Wörter, Ringmodule
- Inverse Semigroup Expansion
Modellierung
- Top-Down, Bottom-Up
- Endofunktionen, UML
- Matrizen, Äquivalenztransformation
- Pseudoinverse, Fujimoto