Analiza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią duży zespół. Notacja ECSDM pozwala uściślić używany model oraz wyrazić zależności czasowe pomiędzy zdarzeniami, co z kolei pozwala na podstawie wyników analizy opracować czasowe wymagania bezpieczeństwa wobec systemu poddanemu rozważaniom. W artykule tym przedstawiono wykorzystanie tej metody do analizy przykładowego systemu.
Authors
Additional information
- Category
- Publikacja w czasopiśmie
- Type
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Language
- polski
- Publication year
- 2007
