Die Atmosphäre in der Prüfung war wie immer am LS4 sehr entspannt.
Sie haben ein komplett verifiziertes System. Welche Fehler können trotzdem auftreten?
Klassifikation von Fehlern erläutern → [transient, sporadisch, permanent] [fault-error-failure Kette] [DUE, SDC]
Was sind die Unterschiede zwischen HW/SW Defekten?
Ist Verifikation mit Tests möglich?
Was würden sie machen um jemanden davon zu überzeugen, dass sie ihr System ausreichend getestet haben?
Welche Testarten gibt es? Was sind die Unterschiede?
Was bedeuten formale Methoden?
Welche Eigenschaften haben formalen Methoden?
Wp Kalkül was kann es? Was nicht?
Was sind die Grenzen formaler Methoden?
TMR SOR erklären
Was ist Replikdeterminismus?
Was sind die Ziele der Redundanz?
Welche StandbyArten gibt es?(Mit Erklärung) → hot, warm, cold
Probleme mit Replikaten? → Gleichtaktfehler, SinglePointofFailure
Was kann man gegen Gleichtaktfehlern tun? → Diversität
Probleme von Diversität?
Grundlagen der Reintegration: Wie funktioniert es prinzipiell?