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)\neq \emptyset$. 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 ${\mathcal {P}}$. 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 >>