Pr-1st-1.1-m11-Slajd35

Relacje między detektorami

Doskonały detektor awarii może być scharakteryzowany własnością silnej kompletności (SC) i własnością silnej dokładności (SA). Może się jednak zdarzyć, że nie będziemy potrzebować detektora z tak silnymi własnościami, które mogą powodować zwiększenie wymagań dotyczących synchronizmu systemu. W takim przypadku możemy osłabić jedną lub obie własności w zależności od potrzeb.

Na rysunku zaprezentowano wszystkie możliwości związane z „osłabieniem” doskonałego detektora awarii.

Do wyboru mamy trzy scenariusze:

1. Osłabiona zostanie silna kompletność do słabej kompletności (SC $\rightarrow$ WC). W wyniku tego działania powstanie detektor klasy Q.
2. Osłabiona zostanie silna dokładność do słabej dokładności (SA $\rightarrow$ WA). W wyniku tego działania powstanie detektor klasy S.
3. Osłabiona zostanie silna dokładność do ostatecznie silnej dokładności (SA $\rightarrow$ ESA). W wyniku tego działania powstanie detektor klasy $\Diamond$P.

<< Poprzedni slajd | Spis treści | Następny slajd >>