- Tytuł:
-
Application of UML modelling for analysis of safety integrity level in railway traffic control systems
Zastosowanie języka UML do badania poziomu nienaruszalności bezpieczeństwa systemów sterowania ruchem kolejowym - Autorzy:
-
Marzec, M.
Uhl, T.
Barszcz, T. - Powiązania:
- https://bibliotekanauki.pl/articles/328039.pdf
- Data publikacji:
- 2011
- Wydawca:
- Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
- Tematy:
-
ruch kolejowy
poziom nienaruszalności bezpieczeństwa
modelowanie UML
railway transport
safety integrity level
UML modeling - Opis:
-
Railway traffic control systems require extremely high level of operational safety. Due to very high costs of safety failure, this field is subject to the regulation by numerous norms, which describe formal methods of safety level calculation (denoted as Safety Integrity Level - SIL). Such an analysis is tedious and time consuming, especially in case of complex systems. The paper proposes application of UML modeling approach to perform joint analysis of the system architecture and its operation. The approach also uses the Fault Tree Analysis (FTA) and can be used to identify the weakest links in the whole system. The method allows to quickly introduce changes in system architecture or parameters and evaluate the impact on the safety. The proposed approach was successfully applied to the real case of a railway system.
Systemy SRK wymagają szczególnie wysokiego poziomu bezpieczeństwa eksploatacji. Ze względu na bardzo wysokie koszty awarii, dziedzina ta jest przedmiotem podlegającym regulacjom wielu norm opisujących formalne metody obliczania poziomu bezpieczeństwa (oznaczony, jako poziom nienaruszalności bezpieczeństwa - SIL). Analiza prowadząca do wyznaczenia poziomu SIL jest trudna i czasochłonna, zwłaszcza w wypadku bardzo skomplikowanych systemów. Niniejsza praca proponuje aplikację podejścia z wykorzystaniem modelowania UML do przeprowadzania analizy architektury systemu i jego działania. Podejście to korzysta również z analizy drzewa błędów FTA i może być użyte do identyfikacji najsłabszych elementów systemu. Metoda ta pozwala również na szybkie wprowadzanie zmian w architekturze lub parametrach systemu, oraz pozwala obliczyć ich wpływ na bezpieczeństwo. Zaproponowane rozwiązanie zostało z powodzeniem zastosowane w prawdziwym systemie kolejowym. - Źródło:
-
Diagnostyka; 2011, 4(60); 21-26
1641-6414
2449-5220 - Pojawia się w:
- Diagnostyka
- Dostawca treści:
- Biblioteka Nauki