Wyszukiwarka
Abstrakt
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.
Cytowania
-
0
CrossRef
-
0
Web of Science
-
0
Scopus
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- materiały konferencyjne indeksowane w Web of Science
- Tytuł wydania:
- DepCoS - RELCOMEX 2006 : Proceedings of International Conference on Dependability of Computer Systems, strony 84 - 91
- Język:
- angielski
- Rok wydania:
- 2006
- Opis bibliograficzny:
- Gołaszewski G., Górski J..: Hazard prevention by forced time constraints, W: DepCoS - RELCOMEX 2006 : Proceedings of International Conference on Dependability of Computer Systems, , 2006, IEEE,.
- DOI:
- Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1109/depcos-relcomex.2006.29
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 89 razy