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)