Hazard prevention by forced time constraints - Publikacja - MOST Wiedzy

Wyszukiwarka

Hazard prevention by forced time constraints

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 14 razy

Publikacje, które mogą cię zainteresować

Meta Tagi