Tool for analysis of the fault tree with time dependencies

• Autorzy: Jureczko M. , Skrobanek P.

Warianty tytułu

PL

Oprogramowanie wspomagające analizę drzew niezdatności z zależnościami czasowymi

• Języki publikacji: EN

Abstrakty

EN

The fault tree analysis is one of the most frequent used methods of supporting the safety systems analysis. Real time systems are one of the fields of applications. Information of hazard occurrence in these systems is important as well as information related to timing aspects. In this chapter the models of gates has been collected, the notation of events for XML file generation has been given and application for analyzing of fault trees with time dependencies, given both numerically and parametrically, has been shown.

PL

Analiza drzew niezdatności jest często stosowaną techniką wspomagającą analizę bezpieczeństwa systemów. Jednym z obszarów zastosowań są systemy czasu rzeczywistego, dla których istotne są nie tylko informacje o tym, czy hazard może wystąpić, ale również informacje związane z aspektami czasowymi. W niniejszej pracy zebrane zostały modele bramek, zaproponowano notację zdarzeń dla potrzeb generacji pliku XML oraz przedstawiono aplikację do analizy drzew niezdatności z zależnościami czasowymi podanymi zarówno numerycznie jak i parametrycznie.

Słowa kluczowe

EN

fault trees with time dependencies; tool for fault tree analysis

PL

drzewo niezdatności z zależnościami czasowymi; oprogramowanie do analizy drzew niezdatności

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2010
• Tom: R. 86, nr 9
• Strony: 179--183
• Opis fizyczny: Bibliogr. 17 poz., rys., tab.

Twórcy

autor

Jureczko M.

autor

Skrobanek P.

• Politechnika Wrocławska, Instytut Informatyki, Automatyki i Robotyki, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław,

Bibliografia

• [1] US Nuclear Regulatory Commission, Fault Tree Handbook, NUREG-0492
• [2] PN-IEC1508, Functional Safety: Safety-Related Systems, Part 1: General Requirements, IEC, 1995 (odpowiednik: PN-EN 61508-1, 2001)
• [3] IEC, Fault Tree Analysis (FTA), International Standard 1025, 1990
• [4] PN-IEC1025, Analiza drzew niezdatności (FTA), Polski Komitet Normalizacyjny, grudzień 1994
• [5] J. Gorski, Extending safety analysis techniques with formal semantics,Technology Assessment of Safety-Critical Systems, F. Redmill and T. Anderson Eds., Springer, 1994, pp.147-163
• [6] J. Gorski, A. Wardzinski, Formalising fault trees, Achievement and Assurance of Safety, F. Redmill and T. Anderson Eds., Springer, 1995, pp.311-327
• [7] Górski J., Magott J., Wardziński A., Modeling Fault Trees Using Petri Nets, SAFECOMP’95, Belgirate (Italy), 1995
• [8] Skrobanek P., Analiza zależności czasowych w drzewach niezdatności systemów związanych z bezpieczeństwem, praca doktorska, Politechnika Wrocławska, raport: PRE. 24/2005.
• [9] Magott J., Skrobanek P., A method of analysis of fault tree with time dependencies, in: Proc. SAFECOMP 2000, Rotterdam, The Netherlands, LNCS,Vol. 1943, Springer-Verlag, 2000, 176- 186.
• [10] Magott J., Skrobanek P., Drzewa niezdatności z zależnościami czasowymi w analizie bezpieczeństwa informacji, Zagadnienia bezpieczeństwa w systemach informacyjnych. Praca zbiorowa pod red. Zbigniewa Huzara, Zygmunta Mazura, Warszawa, WKŁ, 2008, s. 99-116.
• [11] Magott J., Skrobanek P., Woda M., Analysis of timing requirements for intrusion detection systems, in: Proc. Dependability of Computer Systems, DepCoS-RELCOMEX ’07, Szklarska Poręba, Poland, IEEE Computer Society Press, 2007, 278-285.
• [12] Lukowicz M., Magott J., Skrobanek P., Analysis of timing properties of electrical power system protection, in: Preprints 1st IFAC Workshop Dependable Control of Discrete Systems, DCDS’07, Paris, France, 181-186.
• [13] Magott J., Nowakowski T., Skrobanek P., Werbinska S., Analysis of possibilities of timing dependencies modelling – example of logistic support system, accepted for European Safety and Reliability Association Conference, ESREL, 2008.
• [14] Magott J., Skrobanek P., Priority AND gates in fault trees with time dependencies, (submitted for publication).
• [15] Magott J., Skrobanek P., Method of time Petri net analysis for analysis of fault trees with time dependencies, IEEE Proceedings-Computers and Digital Techniques, 2002, Vol. 149, No.6, 257-271.
• [16] http://pawel.skrobanek.staff.iiar.pwr.wroc.pl/, FTTD stencil for Visio 2003 and examples of FTTD, 2009.
• [17] https://snow.iiar.pwr.wroc.pl:36914/FaultTreeWeb