Systeme hoher Sicherheit und Qualität

Aufgabe 1: Fehlerbaumanalyse

Wir betrachten das Kollisionsvermeidungssystem vom ersten Übungsblatt und führen eine Fehlerbaumanalyse durch. Ordnen sie die textuellen Beschreibungen den Events E1 bis E14 zu.

• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Das Kollisionsvermeidungssystem löst kein Bremssignal aus.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Softwarefehler: Es wird keine Kollision berechnet.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Die Person kann sich nicht bewegen.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Das Hindernis wird nicht erkannt.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Defekt der Signalleitung zur Bremse.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Das Fahrzeug kommt nicht zum stehen.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Die Bremse wird nicht ausgelöst.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Die Lagesensoren liefern falsche Daten.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Die Ultraschallsensoren liefern keine oder falsche Daten.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Die Lagesensorik ist durch starke Magnetfelder gestört.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Der Laserscanner liefert keine oder falsche Daten.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Das Bremssystem ist defekt.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Eine Person wird überfahren.
• - E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 Die Lage des Fahrzeugs wird falsch erkannt.

Aufgabe 2: Prädikatenlogik

Gegeben sei das Prädikat \(P(x,y)\) über zwei natürliche Zahlen, welches besagt, dass \(x\) kleiner oder gleich \(y\) ist.

Formulieren sie die Tatsache, dass es keine größte natürliche Zahl gibt als prädikatenlogische Formel unter Verwendung von \(P\)

Please use latex math notation, result will be rendered above:

Abgabe

Es werden keine Daten übertragen. Per Klick auf "Ergebnis speichern" kann eine Datei gespeichert werden, welche die eingegebenen Ergebnisse enthält. Diese Datei sendet ihr bitte rechtzeitig bis Dienstag 23:59:59 an martin (punkt) ring (klammeraffe) dfki (punkt) de. Ihr könnt eure Abgabe später auch wieder laden und ansehen indem ihr auf "Ergebnis laden" klickt.