Home - mlachenmayr/FuFaBe GitHub Wiki

Welcome to the FuFaBe wiki!

Übungsblatt 1

• Komponenten und Störungen - Auflistung der Komponeten des Systems und mögliche Störungen.
• Fault Tree Analysis - Die FTA.
• Failure Modes and Effects Analysis - Die FMEA.

Übungsblatt 2

• Überblick Systemmodell - Ein Überblick über die Komponenten des Systemmodells (Sensor, Aktor, System, Umgebung).
• Diskretisierung der Werte - Dokumentation zur Disketrisierung der Werte, wie beispielsweise der Geschwindigkeit.
• Nachbearbeitung (U2) - Punkte, die bei der Präsentation der Lösung diskutiert wurden.

Übungsblatt 3

• LTL- und CLT-Formeln als Nachweis für die Plausibilität des (noch) störungsfreien Modells. Diese wurden nicht eigens ins Wiki kopiert. Sie sind in der Datei NuSMV.tt im Repository zu finden.
• Nachbearbeitung (U3) - Beinhaltet sowohl Änderungen, die durch die Plausibilitäts-Checks aufkamen, als auch durch die Präsentation bzw. Diskussion in der Vorlesung.

Übungsblatt 4 - Modellierung von Störungen

• Anpassungen am Modell (U4) - Beschreibt die nötigen Anpassungen am Modell für die Durchführung von Aufgabe 4.
• Betrachtete Störungen - Die Störungen die in das existierenden Modell integriert wurden.
• Nachbearbeitung (U4) - Punkte, die bei der Präsentation der Lösung diskutiert wurden.

Übungsblatt 5 - DCCA

• Durchführung DCCA
• Nachbearbeitung (U5) - Änderungen, die durch die Überarbeitung der Formeln aus U3 und U4, sowie bei der Durchführung der DCCA gemacht wurden.