Repozytorium publikacji - Politechnika Gdańska

Ustawienia strony

english
Repozytorium publikacji
Politechniki Gdańskiej

Treść strony

Hazard prevention by forced time constraints

Minimalne Zbiory Przyczyn powstałe podczas analizy Drzew Błędów wskazują zdarzenia, które jeśli nastąpią razem, mogą doprowadzić do Hazardu. W niektórych zastosowaniach opis zdarzeń może zostać poszerzony o informację czasową, wtedy zdarzenia z MZP mogą doprowadzić do Hazardu tylko jeśli wystąpi pomiędzy nimi określona zależność czasowa. W tym artykule przedstawione zostało jak informacja czasowa może zostać wprowadzona do Drzew Błędów i wykorzystana do identyfikacji dodatkowych wymagań czasowych wobec kontrolowalnych zadarzeń zachodzących w systemie. Wymagania te, jeśli zostaną wprowadzone, spowodują wykluczenie niektórych scenariuszy (w przeciwnym razie możliwych) wystąpienia Hazardu.

Autorzy