Personendetails

Lehrinhalte

* Dependability and Fault Tolerance
* Distributed Agreement
* Group Communication and Membership
* Consistency and Replication

Prüfungsmodus

VO: schriftlicher Test, FUV: Projekt in der Kleingruppe

Lehr- und Lernmethode

Vorlesung
Praktische Arbeit in der Kleingruppe

Sprache

Deutsch

Lehrinhalte

- Grundlagen der drahtlosen Netzwerkkommunikation
- Security-Aspekte in drahtlosen Netzwerken
- Konkrete Wireless-Technologien und deren Security-Mechanismen
- WLAN (IEEE 802.11)
- Bluetooth
- IEEE 802.15.4/6LoWPAN/ZigBee
- Near Field Communication
- Mobilfunk

Prüfungsmodus

Schriftliche Endprüfung

Lehr- und Lernmethode

Vortrag

Sprache

Deutsch

Lehrinhalte

Historischer Überblick über die Entwicklung der Informatik (Von den Anfängen bis zur Neuzeit); Grundlagen der Computerarchitektur (Aufbau und Funktionsweise);
Rechnen mit binären Zahlen (Boolsche Algebra, Kombinatorische Logik);
Aufbau und Funktionsweise von Prozessor und Speicher;
Zahlendarstellung (Wie verwalten die "modernen" Rechner die gespeicherten Daten);
Aufbau und Funktionsweise "moderner" Rechner;
Betriebsystem (Aufbau, Unterschiede und die Funktionsweise)

Prüfungsmodus

Schriftliche Abschlußprüfung

Lehr- und Lernmethode

Integrierte Lehrveranstaltung
(Vorlesung / Tafelskizzen und –zeichnungen / Präsentation)

Sprache

Deutsch

Lehrinhalte

Grundlagen der Betriebsystemadministration, Grundbegriffe der Angewandten Informatik (Programm, Algorithmus, Programmieren), Einführung in das Programmieren (in C), Abstrakte Datenstrukturen (ADT), Bewertung und Implementierung von Algorithmen

Prüfungsmodus

Immanenter Prüfungscharakter (Abschließende Prüfung + Fernlehre)

Lehr- und Lernmethode

Integrierte Lehrveranstaltung

Sprache

Deutsch

Lehrinhalte

In Kleingruppen lernen die Studierenden das erarbeitete theoretische Grundwissen praktisch anzuwenden und gleichzeitig zu vertiefen, indem grundlegende Schaltungen der Elektronik/Elektrotechnik aufgebaut und vermessen werden. Zu jeder Laborübung sind die ausgewerteten Messergebnisse und Erkenntnisse in einem Protokoll zu dokumentieren.

Praktische Anwendungen der in den Theorielehrveranstaltungen behandelten Inhalte aus dem Bereich der Grundlagen der Elektrotechnik sowie der Lehrveranstaltung Elektronik. Dokumentation und Interpretation von Messergebnissen in Laborprotokollen.

Prüfungsmodus

LV-abschließende Prüfung

Lehr- und Lernmethode

Labor

Sprache

Deutsch

Lehrinhalte

- Grundlagen der System Safety
- Einfluss- und Erfolgsfaktoren für System Safety
- Risikobeurteilung
- Funktionale Safety - Spezifikation und Bewertung von Sicherheitsfunktionen

Prüfungsmodus

LV-abschließende Prüfung

Lehr- und Lernmethode

Vortrag

Sprache

Deutsch

Lehrinhalte

Grundlagen der Fehlertoleranz
- Dependability
- Phasen der Fehlertoleranz
Physische Fehlertoleranz
- Statische Redundanz
- Dynamische Redundanz
- Hybride Verfahren
- Fehlertoleranz mit Reparatur
Fehlertoleranz für Informationen
- Kanal- und Error-Modelle
- Grundlagen von Block Codes
- Lineare Block Codes
Zeitliche Fehlertoleranz
- ARQ-Verfahren
- Verfahren gegen permanente Fehler

Prüfungsmodus

Schriftliche Endprüfung

Lehr- und Lernmethode

Vortrag

Sprache

Deutsch

Lehrinhalte

-

Prüfungsmodus

Lehrinhalte

- Basics of Fault Tolerance- Dependability
- Fault Tolerance Phases

- Physical Fault Tolerance- Static Redundancy (MooN systems, NMR)
- Dynamic Redundancy (Markov Process, Standby Systems)
- Hybrid Redundancy (Self-Purging Redundancy, NMR with Spares)
- Fault Tolerance and Repair

- Information Fault Tolerance- Channel and Error Models
- Basics of Block Codes
- Linear Block Codes

- Temporal Redundancy- ARQ Principles (Stop-and-Go, Go-Back-N, Selective Repeat)
- Retry Mechanisms

Prüfungsmodus

Endprüfung
Final exam

Lehr- und Lernmethode

Lecture

Sprache

Englisch

Lehrinhalte

Basic of System Safety
- Pathology of Accidents
- Hazard and Risk
- System Safety
- Functional Safety
Influence and Sucess Factors for System Safety
- The role of Safety Standards
- The Factor of Human
- The Factor of Security
- The Factor of Management
- The Factor of Software
Risk Evaluation
- Risk Acceptance
- Risk Evaluation
- Risk Matrices/Graphs
Specification and Evaluation of Safety Functions
- Reliability of Non-Repairable Systems
- Reliability of Repairable Systems
- Reliability of Composite Systems
- Metrics for Safety Integrity
- Systematic Safety Integrity
- Safety Integrety Level

Prüfungsmodus

Endprüfung
Final exam

Lehr- und Lernmethode

Lecture

Sprache

Englisch

Lehrinhalte

Basics of Formal Methods
- Definition
- Comparison to other Methods
- Advantages/Disadvantages
- Relevance for Safety
Model Checking
- System Modelling
- Linear Time Properties
- Comparison to Theorem Proving Methods
- LTL Model Checking
- Practical Exercises

Prüfungsmodus

Immanente Leistungsüberprüfung
Immanent examination character

Lehr- und Lernmethode

Lecture
Practical Exercises

Sprache

Englisch

Lehrinhalte

- Safety Principles for HW

- HW Techniques for Fault Prevention

- HW Techniques for Fault Tolerance

- Safety principles for SW
- SW Safety

- Safety principles for SW and their characteristics

- Problems of SW Safety principles


- SW Techniques for Fault Prevention
- Programming Language

- Stateless Design

- Static Resource Allocation


- SW Techniques for Fault Tolerance
- N-Version Programming

- Recovery Block

- Failure Assertion and Defensive Programming

- Diverse Monitor/Watchdog


- HW Techniques

Difference between wear and non-wearing parts

Prüfungsmodus

Endprüfung
Final exam

Lehr- und Lernmethode

Lecture
Practical Examples

Sprache

Englisch