Tool support for ECSDM fault tree methodology - Publikacja - MOST Wiedzy

Wyszukiwarka

Tool support for ECSDM fault tree methodology

Abstrakt

Extended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone do wspierania analizy drzew błędów opartej o ECSDM. Zawiera on studium przypadku demonstrujące, w jaki sposób narzędzie to może pomóc w wykryciu ograniczeń czasowych na komponenty systemu, których przestrzeganie wyklucza możliwość wystąpienia hazardu.

Cytuj jako

Pełna treść

pełna treść publikacji nie jest dostępna w portalu

Informacje szczegółowe

Kategoria:
Aktywność konferencyjna
Typ:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Język:
angielski
Rok wydania:
2005
Opis bibliograficzny:
Gołaszewski G.: Tool support for ECSDM fault tree methodology// / : , 2005,
Weryfikacja:
Politechnika Gdańska

wyświetlono 17 razy

Publikacje, które mogą cię zainteresować

Meta Tagi