Search
Abstract
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.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language:
- English
- Publication year:
- 2005
- Bibliographic description:
- Gołaszewski G.: Tool support for ECSDM fault tree methodology// / : , 2005,
- Verified by:
- Gdańsk University of Technology
seen 58 times
Recommended for you
Analiza dynamiczna anteny satelitarnej z uwzględnieniem podatności członów
- K. Augustynek,
- S. Wojciech,
- E. Wittbrodt
2008