PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2010 | R. 86, nr 9 | 179-183
Tytuł artykułu

Tool for analysis of the fault tree with time dependencies

Wybrane pełne teksty z tego czasopisma
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.
Wydawca

Rocznik
Strony
179-183
Opis fizyczny
Bibliogr. 17 poz., rys., tab.
Twórcy
autor
  • Politechnika Wrocławska, Instytut Informatyki, Automatyki i Robotyki, ul. Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, marian.jureczko@pwr.wroc.pl
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
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BPOB-0037-0015
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.