Hazard prevention by forced time constraints

Grzegorz Gołaszewski; Janusz Górski

doi:10.1109/depcos-relcomex.2006.29

Hazard prevention by forced time constraints

Abstract

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.

Citations

0

CrossRef
0

Web of Science
0

Scopus

Authors (2)

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:: Conference activity
Type:: materiały konferencyjne indeksowane w Web of Science
Title of issue:: DepCoS - RELCOMEX 2006 : Proceedings of International Conference on Dependability of Computer Systems, strony 84 - 91
Language:: English
Publication year:: 2006
Bibliographic description:: 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:: Digital Object Identifier (open in new tab) 10.1109/depcos-relcomex.2006.29
Verified by:: Gdańsk University of Technology