Pr-1st-1.1-m11-Slajd27

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Historia detektora awarii

Historia detektora awarii


Rozważamy tylko wzorce uszkodzeń , w których co najmniej jeden proces jest poprawny, czyli . 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ść oznacza zbiór procesów podejrzewanych przez w chwili .


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