Pr-1st-1.1-m11-Slajd28

Formalna definicja detektora awarii

Zbiór możliwych historii ${𝒟}(F)$ oznacza sumę mnogościową wszystkich możliwych historii detektora awarii, które mogły się przydarzyć z wzorcem awarii $F$ i detektorem awarii $FD$.

Detektor awarii $FD$ jest to funkcja odwzorowująca wzorzec awarii $F$ w zbiór możliwych historii detektora awarii ${𝒟}(F)$.

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