====== Gedächtnisprotokoll VEZS 2018 (5 ECTS) ======
Was ist ein Fehler?
  * Nichterfüllung einer geforderten Funktion, definiert in der Spezifikation und nicht erfüllt in der Implementierung.
Welche Arten von Fehlern gibt es? (genaue Definitionen!)
  * permanente Fehler
  * sporadische Fehler
  * transiente Fehler
Wie wird ein Fehler zu einem Fehler?
  * Fehlerkette
  * Defekt
  * Manifestation
  * Sichtbarkeit
Wie kann man Fehler vermeiden?
  * Strukturelle Redundanz
  * Funktionelle Redundanz
  * Informationsredundanz
  * Zeitliche Redundanz
Wie entscheidet man was repliziert wird?
  * Fehlerbaum
Was ist ein Fehlerbaum? Was kann man damit angeben?
  * Teilkomponenten, die zum Systemausfall führen können
  * Minimalschnitt
Beispiel für strukturelle Redundanz? Vorteile Nachteile?
  * Eigene Rechnerknoten
  * Vorteile: Ausfallsicherheit
  * Nachteile: Kosten (Energie, Geld, Platz)
TMR zeichnen!

Was sollen die einzelnen Replikate für Eigenschaften haben?
  * Replikdeterminismus
  * gleiche Eingaben (nach Einigung)
  * Ideal: keine Kommunikation zwischen Replikaten, keine gegenseitige Beeinflussung
Warum haben wir in der Übung nicht die funktionelle Redundanz besprochen sondern hauptsächlich die strukturelle Redundanz? Beispiel für funktionelle Redundanz?
  * funktionelle Redundanz benötigt Relativtest
  * funktionelle Redundanz ist anwendungsspezifisch
  * Beispiel mit Durchflussmessung
Wie kann man sicherstellen, dass das System so arbeitet wie es soll?
  * Testen
Testen ist Industriestandard, warum?
  * wenig Aufwand
  * schnell
  * kostengünstig
Ist Testen sicher?
  * Mit dem Testen kann man nicht nachweisen das es keine Fehler mehr gibt, sondern stärkt nur das Vertrauen.
Testen ist also nicht sicher, wie kann man es besser machen?
  * statische Analyse
Was macht man bei statischer Analyse?
  * Vereinfachung durch Abstraktion
  * Sammelsemantik
  * Intervallsemantik
Welche Tools zur statischen Analyse haben wir kennengelernt?
  * Astreé
  * AiT
Was kann Astreé garantieren, was nicht?
  * garantiert Korrektheit im Sinne des C-Standards
  * nicht funktionelle Korrektheit (aus Spezifikation)