Optimierung einer Softwarebibliothek für sicherheitsrelevante

2 Grundlagen 30
Abbildung 23: Zustandgraph eines SA0[RED98]
Abbildung 24: Zustandgraph eines SA1[RED98]
Ein weiterer Fehler ist ein Übergangsfehler (Transition Fault, TF). Eine Speicherzelle
kann ihren Wert nicht von 0 nach 1 wechseln oder umgekehrt. Es gibt zwei Arten
dieses Fehlers: 1.) Transition-Up-Fault (von „0“ nach „1“); 2.) Transition-Down-Fault(von
„1“ nach „0“). Abbildung 26 zeigt ein Transition-Up-Fault:
Abbildung 25: Zustandgraph eines Transition-Up-Faults[RED98]
Der Koppelfehler (Coupling Fault, CF): Inhalt einer Zelle hängt von den Inhalten in anderen
Zellen ab. Es gibt zwei Varianten dieses Fehlers: 1.) 2-Coupling Fault: zwei Zellen
beeinflussen einander; 2.) k-Coupling-Fault: k-2 Zellen beeinflussen den Inhalt einer
Zelle. Außerdem existieren verschiedene Möglichkeiten wie eine Zelle beeinflusst werden
kann 9 , z.B. wie Inversion Coupling Fault, Idempotent Coupling Fault, State Coupling
Fault und Bridging Fault.
Der Musterabhängige Fehler (Pattern Sensitive Fault, PSF): der Inhalt einer Zelle wird
von anderen Zellen bestimmt. Es ist ein Sonderfall des k-Coupling-Fault, alle k-Zellen
bestimmen den Übergang. In der Literatur wird die Betrachtung dieses Fehlers auf
„Nachbarschaft“ „reduziert“. In diesem Fall spricht man von Neighborhood Pattern Sensitive
Fault (NPSF). Es sind drei verschiedene Varianten von diesen Fehlern definiert
[RED98]: 1.) Active Neighborhood Pattern Sensitive Fault; 2.) Passive Neighborhood
Pattern Sensitive Fault; 3.) Static Neighborhood Pattern Sensitive Fault 10 .
Der Adressdekodierfehler (Adress Decoder Fault, AF): es gibt vier verschiedene Adressdekodierfehler
[RED98]:
9 hier nicht weiter betrachtet, weiter führende Informationen in [RED98]
10 hier nicht weiter betrachtet, weiter führende Informationen in [RED98]