Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania

• Autorzy: Gołaszewski G.

Warianty tytułu

EN

Reduction of MCS analysis time by reducing size of the result

• Konferencja: Seminarium ZASTOSOWANIE KOMPUTERÓW W NAUCE I TECHNICE 2013 (XXIII; 2013 ; Gdańsk, Polska)
• Języki publikacji: PL

Abstrakty

PL

Analiza drzew niezdatności jest uznaną metodą analizy bezpieczeństwa systemów. Notacja ECSDM pozwala definiować zależności czasowe między zdarzeniami drzewa oraz przeanalizować je w celu określenia zależności pomiędzy zdarzeniami z Minimalnych Zbiorów Przyczyn (MZP). Dzięki wprowadzeniu klasyfikacji zdarzeń z MZP można wyodrębnić zależności czasowe istotne dla zapobiegania wywoływania hazardu przez konkretny MZP. Pozostałe zależności czasowe są w tym podejściu odrzucane. Opracowano odmiany algorytmu analizy zależności czasowych w drzewach niezdatności, które są w stanie odrzucić część zależności czasowych na wcześniejszym etapie analizy. W tym artykule omówiony zostanie eksperyment określający redukcję czasu przetwarzania uzyskaną dzięki zastosowania tych zmian.

EN

Fault tree analysis is an accepted systems safety analysis method. ECSDM notation allows for definition of timing relationships between events of the tree. These relationships are then analyzed in order to derive timing relationships between events in Minimal Cut Sets. Introduction of events classification allows for extraction from MCS timing relationships relevant to prevention of that given MCS. Timing relationships not selected in that step are ignored. Therefore a set of new algorithms for analysis of timing relationships in fault trees was proposed. Each of these algorithms filters out some of the irrelevant relationships in earlier steps of the analysis. In this article an experiment aimed at determining the gain (understood as processing time reduction) from applying these algorithms is described.

Słowa kluczowe

PL

drzewo niezdatności; zależności czasowe; ECSDM

EN

fault trees; timing relationships; ECSDM

• Wydawca: Wydział Elektrotechniki i Automatyki Politechniki Gdańskiej
• Czasopismo: Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
• Rocznik: 2013
• Tom: Nr 36
• Strony: 61--64
• Opis fizyczny: Bibliogr. 9 poz., rys., tab.

Twórcy

autor

Gołaszewski G.

• olitechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk tel: [phone] fax: [phone]

Bibliografia

• 1. Vesely W. E., Goldberg F. F., Roberts N. H., Haasl D. F.: Fault Tree Handbook, U.S. Nuclear Regulatory Commission, January 1981, NUREG 0492
• 2. Gołaszewski G.: Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów, Technologie Informacyjne, Maj 2006, Gdańsk, Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej, tom 11, str. 631-638, ISBN 83-917681-8-X
• 3. Thums A., Schellhorn G.: Formal Safety Analysis in Transportation Control, Workshop on Software specification for safety relevant transportation control tasks, 2002
• 4. Górski J.: Extending Safety Analysis Techniques with Formal Semantics, Technology and Assessment of Safety Critical Systems, (Redmil F. J., Anderson T., Eds.), Springer-Verlag, 1994, ISBN 978-3-540-19859-8
• 5. Górski J., Wardziński A.: Timing Aspects of fault tree analysis of safety critical system, Proceedings of the Fifth Safety-critical Systems Symposium, February 1997 Brighton, pp. 231-244, ISBN 978-3540761341
• 6. Górski J., Magott J. and Wardziński A.: Modeling Fault Trees Using Timed Petri Nets, Safe Systems (G Rabe, ed.), Springer Verlag, 1995, pp. 90 100, ISBN 978-3-540- 19962-5
• 7. Magott J., J. Skrobanek J.: Method of time Petri net analysis for analysis of fault trees with time dependencies, IEE Proc. Computers and Digital Techniques vol. 149 No. 6, November 2002, ISSN 1350-2387
• 8. Gołaszewski G., Górski J.: Hazard prevention by forced time constraints, IEEE Computer Society "Conference on Dependability of Computer Systems DepCoS – RELCOMEX’06", May 2006 Szklarska Poręba, pp. 84- 91, ISBN 978-0-7695-2565-5
• 9. Skrobanek P.: Analiza zależności czasowych w drzewach niezdatności (rozprawa doktorska), Instytut Informatyki, Automatyki i Robotyki Politechniki Wrocławskiej, Czerwiec 2005 Wrocław