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.
Autorzy
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- angielski
- Rok wydania
- 2005
Źródło danych: MOSTWiedzy.pl - publikacja "Tool support for ECSDM fault tree methodology" link otwiera się w nowej karcie
