Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego

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.

---

Fault tree analysis is a deductive analysis method that enables to determine the causes of a given unwanted event. It facilitates the concept of immediate causes and Boolean logic and allows determining basic causes of analysed event. This technique facilitates informal notation in its models, which might cause ambiguities and decrease analysis value, especially if the analysis is conducted by a large team. Notation ECSDM allows for more precise description of facilitated model and definition of temporal relationships between events. These enables establishing temporal safety requirements for system under consideration based on analysis results. In this article application of the method to analysis of realistic case study is presented.