Pr-1st-1.1-m11-Slajd27

Historia detektora awarii

Rozważamy tylko wzorce uszkodzeń $F$, w których co najmniej jeden proces jest poprawny, czyli $correct(F)\ne \mathrm{\varnothing }$. Każdy detektor utrzymuje listę (zbiór) procesów, które podejrzewa.

Historia detektora awarii to funkcja odwzorowująca iloczyn kartezjański zbioru procesów i pewnego okresu czasu w rodzinę wszystkich podzbiorów zbioru ${𝒫}$. Wartość $H^{FD}(P_i,\tau )$ oznacza zbiór procesów podejrzewanych przez $P_i$ w chwili $\tau$.

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