Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych - Publication - Bridge of Knowledge

Your account

login

Search

Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych

Abstract

Bezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo może się opierać na skomplikowanych regułach czasowych. Celem przedstawionej rozprawy było zaproponowanie metody identyfikowania uwarunkowanych czasem wymagań względem systemu komputerowego na podstawie analizy bezpieczeństwa środowiska, z którym system ten współpracuje. Celem było również opracowanie narzędzi wspomagających zastosowanie proponowanej metody w odniesieniu do rzeczywistych przypadków komputerowych systemów związanych z bezpieczeństwem. Cel został zrealizowany poprzez stworzenie metody TREM (Timing Requirements sElection Method). Metoda ta wykorzystuje: - analizę drzew niezdatności rozszerzoną o zależności czasowe, - klasyfikację zdarzeń prostych w drzewie, - algorytm wywodzenia kandydujących wymagań czasowych. W ramach metody TREM zaproponowano cztery algorytmy określania zależności czasowych w Minimalnych Zbiorach Przyczyn (nazywanych również scenariuszami hazardu). Opracowano również dwa algorytmy redukcji nadmiarowości w zidentyfikowanych zależnościach czasowych. W celu określenia czasowych wymagań wobec systemu zaproponowano sposób klasyfikacji zdarzeń występujących w opisach scenariuszy hazardu oraz algorytm, który na podstawie tych danych przeszukuje scenariusze hazardu celem identyfikacji zależności czasowych, które uniemożliwiłyby wystąpienie danego scenariusza hazardu. W doborze tych zależności uwzględniane są ograniczenia dziedzinowe oraz możliwość wywarcia wpływu na opisywane w takiej zależności zdarzenia poprzez decyzje projektowe. Wszystkie wymienione algorytmy zostały zaimplementowane w ramach PolymorphFT2 – narzędzia wspierającego zaproponowaną metodę. Osiągnięte wyniki zostały ocenione w dwóch studiach przypadków, w których ocenione zostały zarówno złożoność obliczeniowa zaproponowanych algorytmów, względna pracochłonność użycia otrzymanych wyników w procesie zapewniania bezpieczeństwa analizowanego systemu oraz potencjał poprawy bezpieczeństwa systemu rozumiany jako odsetek scenariuszy hazardu, dla których udało zidentyfikować wymagania czasowe blokujące ich wystąpienie.

Author (1)

Cite as

Full text

download paper
downloaded 467 times
Publication version
Accepted or Published Version
License
Copyright (Author)

Keywords

Details

Category:
Thesis, nostrification
Type:
praca doktorska pracowników zatrudnionych w PG oraz studentów studium doktoranckiego
Language:
Polish
Publication year:
2017
Bibliography: test
  1. Drzewo niezdatności stworzone dla tego systemu przedstawiono na rysunku Rysunek 9.4. Rysunek 9.10 Schemat rozjazdu (za [Skr05]) open in new tab
  2. W pracy [SKR05] opracowano dla tego systemu drzewo niezdatności. Dla oceny złożoności omawianego w niej algorytmu (INES) dokonano pomiaru czasu analizy tego drzewa, oraz drzewa zbudowanego z wielu jego kopii. Dla oceny złożoności czasowej algorytmu TREM dokonano podobnego zabiegu. Drzewo stworzone w przytoczonej pracy, jak również drzewa stworzone z jego powtórzeń zostały przedstawione w narzędziu PolymorphFT2 (patrz Rysunek 9.11). Dodatkowo poszczególnym zdarzeniom prostym została arbitralnie przypisana obserwowalność (nie uwzględniając konstrukcji systemu wejściowego). open in new tab
  3. Gołaszewski, G. Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania, In: Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej, 2013, Nr 36, pp. 61-64, ISSN 1425-5766 -w pracy opisano eksperyment mający na celu ustalenie czy i w jakiej mierze wprowadzenie w algorytmie wyznaczania Minimalnych Zbiorów Przyczyn z zależnościami czasowymi selektywnego obliczania wyników spowoduje przyspieszenie wykonywania obliczeń (podrozdział 9.2).
  4. Gołaszewski, G. Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego ,In: V Krajowa Konferencja Technologie Informacyjne, Gdańsk 2007, Zeszyty Naukowe Wydz. ETI PG, Technologie Informacyjne, 2007, Tom 13, pp. 265-272. -praca wprowadza system monitoringu ruchu drogowego (podrozdział 9.1.2.3) i opisuje jak metoda TREM może być użyta do wywiedzenia wymagań czasowych dla tego systemu
  5. Gołaszewski, G. Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów, In: XIV Konferencja Systemy Czasu Rzeczywistego, Karpacz 2007, Systemy czasu rzeczywistego -Metody i zastosowania , Polskie Towarzystwo Informatyczne, 2007, pp. 75- 84. -praca opisuje eksperyment myślowy przeprowadzony w celu określenia najlepszej strategii dla wyliczania zależności czasowych dla wszystkich Minimlanych Zbiorów Przyczyn (podrozdział 5.2).
  6. Gołaszewski, G. Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów, In: Technologie Informacyjne, Maj 2006, Gdańsk, Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej, 2006, vol. 11, pp. 631-638, ISBN 83-917681-8- X -praca wprowadza rozpatrywanie zależności czasowych jako predykatów logicznych, opisany został w niej sposób wywodzenia wymagań czasowych na podstawie wyników analizy drzewa niezdatności oraz klasyfikacji zdarzeń (podrozdział 7.1), przykłady opierały się o system palnika gazowego (podrozdział 9.1.2.1).
  7. Gołaszewski, G.; Górski, J. Hazard prevention by forced time constraints, In: IEEE Computer Society "Conference on Dependability of Computer Systems DepCoS -RELCOMEX'06", May 2006 Szklarska Poręba, pp. 84-91, IEEE 2006, ISBN 978-0-7695-2565-5 doi: 10.1109/DEPCOS-RELCOMEX.2006.29 -w pracy wprowadzono podział zdarzeń na kategorie (podrozdział 4.3.1), opisano ograniczenia dziedzinowe oraz zaproponowano wyznaczanie wymagań czasowych w oparciu o analizę Minimalmych Zbiorów Przyczyn rozszerzonych o czas oraz postulowanej klasyfikacji (podrozdział 4.1), przykłady oparto o system przejazdu kolejowego (podrozdział 9.1.2.2). open in new tab
  8. Gołaszewski, G. Tool support for ECSDM fault tree methodology , In: Proceedings of TEHOSS 2005 : IEEE International Conference on Technologies for Homeland Security and Safety, Gdańsk, Poland, September 2005, pp. 243-248. -w pracy przedstawiono notację ECSDM, zarówno model dynamiczny(podrozdział 3.2), jak i statyczny (podrozdział 3.3), jednak główny nacisk położono na wczesną wersję narzędzia analitycznego (ostateczna wersja opisana w podrozdziale 8.2), którego funkcjonalność omawiano w oparciu o system palnika gazowego (podrozdział 9.1.2.1). open in new tab
  9. Gołaszewski, Grzegorz Dowody lematów o które oparto metodę TREM Raport techniczny nr. 3/2017 wydziału ETI PG, Gdańsk 2017 -w pracy tej zawarte zostały dowody dwóch twierdzeń, na które powołano się w tej rozprawie open in new tab
  10. Bibliografia open in new tab
  11. Avizienis, Algirdas; Laprie, Jean-Claude; open in new tab
  12. Randell, Brian and Landwehr, Carl Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 2004, vol. 1, no. 1,. pp. 11-33, doi: 10.1109/TDSC.2004.2 open in new tab
  13. Ambler, Scott W. The object primer: Agile model-driven development with UML 2.0. Cambridge University Press, 2004. ISBN: 0-521-54018-6 open in new tab
  14. Ajmone Marsan, M.; Chiola, G. On Petri nets with deterministic and exponentially distributed firing times. In Rozenberg, Grzegorz Advances in Petri Nets 1987. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987, Lecture Notes in Computer Science vol. 266, pp 132-145, ISBN 978-3-540-47743-3
  15. Aizenstein, Howard; Pitt, Leonard On the Learnability of Disjunctive Normal Form Formulas. Machine Learning, 1995, vol. 19, iss. 3, pp 183-208, doi:10.1023/A:1022697326858 open in new tab
  16. Andrews, John D.; & Ridley, Louise M. Application of the cause-consequence diagram method to static systems. Reliability Engineering and System Safety, January 2002, vol. 75, iss. 1, pp. 47-58., ISSN 0951-8320 open in new tab
  17. Australian Transport Safety Bureu Qantas Airbus A330 accident Media Conference, Media relase 14 Październik 2008[dostęp: 20 VI 2016, http://www.atsb.gov.au/newsroom/2008/release/2008_43.aspx] open in new tab
  18. Aliee , Hananeh; Zarandi , Hamid R. Fault tree analysis using stochastic logic: A reliable and high speed computing. In: Reliability and Maintainability Symposium (RAMS), 2011 Proceedings -Annual, Lake Buena Vista, FL, IEEE 2011, pp. 1-6. doi: 10.1109/RAMS.2011.5754466 open in new tab
  19. Bloomfield, R. E.; Cheng, J. H.; Górski J. Towards A Common Safety Description Model. In: Lindeberg, Johan F. Proceedings of Safecomp'91, Oxford, Pergamon Press, 1991 open in new tab
  20. Bobbio, A.; Franceschinis, G.; Gaeta, R. and Portinale, L. Exploiting Petri nets to support fault tree based dependability analysis. In: Petri Nets and Performance Models, 1999. Proceedings. The 8th International Workshop on, Zaragoza, IEEE, September 1999, pp. 146-155. doi: 10.1109/PNPM.1999.796561 open in new tab
  21. Babczynski, Tomasz; Lukowicz, Miroslaw and Magott, Jan Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies. In: Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on, Brunow, IEEE, June 2009, pp. 315-323, doi: 10.1109/DepCoS-RELCOMEX.2009.18 open in new tab
  22. Babczynski, Tomasz; Lukowicz, Miroslaw and Magott, Jan Time Coordination of Distance Protections Using Probabilistic Fault Trees With Time Dependencies. IEEE Transactions on Power Delivery, July 2010, vol. 25, no. 3, pp. 1402-1409, doi: 10.1109/TPWRD.2010.2046342 open in new tab
  23. Bobbio, A. and Raiteri, D. C. Parametric fault trees with dynamic gates and repair boxes. In: Reliability and Maintainability, 2004 Annual Symposium -RAMS, January 2004, pp. 459-465, doi: 10.1109/RAMS.2004.1285491 open in new tab
  24. Briggs, Helen Cryosat rocket fault laid bare. BBC News, 27 October 2005 [dostęp: 20 VI 2016, http://news.bbc.co.uk/2/hi/science/nature/4381840.stm]
  25. Burke, Dennis All Circuits are Busy Now: The 1990 AT&T Long Distance Network Collapse. California Polytechnic State University, November 1995 [dostęp: 28 VI 2016, http://users.csc.calpoly.edu/~jdalbey/SWE/Papers/att_collapse.html]
  26. Carre, Bernard A. A matrix factorization method for finding optimal paths through networks. In: IEE Conf. Publ.(Comput.-Aided Design). 1969, vol. 51., pp. 388-397 open in new tab
  27. Carré, Bernard A. An algebra for network routing problems. In: IMA Journal of Applied Mathematics, 1971, vol 7, no.3, pp. 273-294 open in new tab
  28. Chaochen, Zhou; Hoare, Charles Anthony Richard; Ravn, Anders P. A calculus of durations. In: Information processing letters, 1991, vol. 40 iss. 5, pp. 269-276, ISSN 0020-0190, doi: 10.1016/0020-0190(91)90122-X. open in new tab
  29. Cormen, T.H.; Leiserson, C. E.; Rivest, R. L.; Stein, C. Wprowadzenie do algorytmów, Wydawnictwa Naukowo-Techniczne, Warszawa 2005. open in new tab
  30. Čepin, Marko; Mavko, Borut. A dynamic fault tree. In: Reliability Engineering & System Safety, January 2002, vol. 75, iss. 1, pp. 83-91, ISSN 0951-8320, doi: 10.1016/S0951-8320(01)00121-1 open in new tab
  31. Dalcher, Darren. Disaster in London. The LAS case study. In: Engineering of Computer-Based Systems, 1999. Proceedings. ECBS'99. IEEE Conference and Workshop on. IEEE, 1999, pp. 41-52 doi: 10.1109/ECBS.1999.755860 open in new tab
  32. Dugan, Joanne Bechta; Bavuso, Salvatore J.; Boyd, Mark A. Dynamic fault-tree models for fault-tolerant computer systems. In: IEEE Transactions on reliability, Sep 1992, vol. 41, no. 3, pp. 363-377,. doi: 10.1109/24.159800. open in new tab
  33. Rao, K. Durga; Gopika, V.; Sanyasi Rao, V.V.S.; Kushwaha, H.S.; Verma, A.K.; Srividya, A. Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. In: Reliability Engineering & System Safety, April 2009, vol. 94, iss. 4, pp. 872-883, ISSN 0951-8320, doi: 10.1016/j.ress.2008.09.007. open in new tab
  34. Dijkstra, Edsger W. A note on two problems in connexion with graphs. In: Numerische mathematik, Dec. 1959, vol. 1, iss. 1, pp 269-271, open in new tab
  35. Report by the Inquiry Board, ESA and CNES, ARIANE 5. Flight 501 Failure, Paris 19 July 1996, [dostęp: 25 IV 2017, https://www.ima.umn.edu/~arnold/disasters/ariane5rep.html]
  36. Ericson II, C. A. Fault Tree Analysis-A History, In: 17th International System Safety Conference, System Safety Society, 1999, [dostęp:25 IV 2017, http://www.relken.com/sites/default/files/Seminal%20Documents/ericson- fta-history.pdf] open in new tab
  37. Urządzenie radio-stop zablokowało pociągi i nie doszło do wypadku, Fakt.pl 22 IX 2014 [dostęp:25 IV 2017, http://www.fakt.pl/wydarzenia/polska/urzadzenie-radio-stop-zablokowalo-pociagi-i-nie-doszlo-do- wypadku/xd7dhmg] open in new tab
  38. Finkelstein, Anthony; Dowell, John. A comedy of errors: the London Ambulance Service case study. In: Proceedings of the 8th International Workshop on Software Specification and Design. IEEE Computer Society, 1996. p. 2. open in new tab
  39. Floyd, Robert W., Algorithm 97: shortest path. In: Communications of the ACM, 1962, vol. 5, no. 6, p. 345 open in new tab
  40. Gulati, Rohit; Dugan, Joanne Bechta. A modular approach for analyzing static and dynamic fault trees. In: Reliability and Maintainability Symposium. 1997 Proceedings, Annual. IEEE, 1997, p. 57-63. open in new tab
  41. Gołaszewski, G.; Górski, J. Hazard prevention by forced time constraints, In: Proceedings of International Conference on Dependability of Computer Systems DepCoS -RELCOMEX'06, Szklarska Poręba 25-27 May, 2006, IEEE Computer Society, pp. 84-91. open in new tab
  42. Garrett, Christopher James; open in new tab
  43. Guarro, Sergio B.; Apostolakis, George E. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. In: IEEE Transactions On Systems, Man, and Cybernetics, May 1995, vol. 25, no. 5, pp. 824-840. doi: 10.1109/21.376495 open in new tab
  44. Górski, J.; Magott, J.; Wardziński, A. Modeling Fault Trees Using Petri Nets, In: Rabe, G. Proceedings of the 14th International Conference on Computer Safety, Reliability and Security SAFECOMP'95, Springer London, 1995, pp. 90-100. open in new tab
  45. Gołaszewski, G. Tool support for ECSDM fault tree methodology, In: Stepnowski, A.; Ruciński, A.; Kosmowski, K, Proceedings of TEHOSS 2005 : IEEE International Conference on Technologies for Homeland Security and Safety, Gdańsk, Poland, September 28-30, 2005, Gdańsk University of Technology 2005, pp. 243- 248
  46. Gołaszewski, G. Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów, In: Zeszyty Naukowe Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, vol. 11 (2006), pp. 631-638, ISBN 83-917681-8-X
  47. Gołaszewski, G. Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego, In: Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne,vol. 13 (2007), pp. 265- 272, ISBN 978-83-60779-01-9
  48. Gołaszewski, G. Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów In: Huzar, Z.; Mazur, Z. Systemy czasu rzeczywistego : Metody i zastosowania : praca zbiorowa, Polskie Towarzystwo Informatyczne., Warszawa : WKŁ, 2007, pp. 75-84, ISBN 978-83-206-1658-3
  49. Gołaszewski, G. Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania. In: Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej, 2013, pp. 61 -64
  50. Gołaszewski, Grzegorz Dowody lematów o które oparto metodę TREM Raport techniczny nr. 3/2017 Wydziału ETI PG, Gdańsk 2017
  51. Gołaszewski, Grzegorz Słownik normalizacji wyrażeń ECSDM Raport techniczny nr. 4/2017 Wydziału ETI PG, Gdańsk 2017
  52. Gołaszewski, Grzegorz Formalna definicja algorytmów wykorzystywanych w metodzie TREM Raport techniczny nr. 5/2017 Wydziału ETI PG, Gdańsk 2017
  53. Górski, Janusz Extending safety analysis techniques with formal semantics. In: Technology and Assessment of Safety-Critical Systems. Springer London, 1994. pp. 147-163 open in new tab
  54. Górski, Janusz; Wardziński, Andrzej Formalising fault trees. In: Achievement and Assurance of Safety. Springer London, 1995. p. 311-327 open in new tab
  55. Górski, Janusz; Wardziński, Andrzej Timing aspects of fault tree analysis of safety critical systems. In: Safer Systems, Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 4-6 February 1997, London Springer, 1997, pp. 231-244, isbn 978-1-4471-0975-4, doi 10.1007/978-1-4471-0975-4_14 open in new tab
  56. Hura, G. S.; Atwood, J. W. The use of Petri nets to analyze coherent fault trees In: IEEE Transactions on Reliability, Dec 1988, vol. 37, no. 5, pp. 469-474, doi: 10.1109/24.9864 open in new tab
  57. Hagerup, T. Simpler Computation of Single-Source Shortest Paths in Linear Average Time In: Theory of Computing Systems, Jan/Feb2006, vol. 39 iss. 1, pp. 113-120; doi: 10.1007/s00224-005-1260-0 open in new tab
  58. Huang, Chin-Yu;
  59. Chang, Yung-Ruei An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees In: Reliability Engineering & System Safety, 2007, vol. 92, iss. 10, pp. 1403-1412, ISSN 0951-8320, doi: 10.1016/j.ress.2006.09.008. open in new tab
  60. The tolerability of risk from nuclear power stations, HMSO, London, 1992, ISBN 0118863681 open in new tab
  61. Hansen, Kirsten M.; Ravn, Anders P.; Stavridou, Victoria From safety analysis to software requirements. In: IEEE Transactions on Software Engineering, July 1998, vol. 24, no. 7, pp. 573-584, doi: 10.1109/32.708570 open in new tab
  62. The use of computers in safety-critical applications, Health and Safety Comission, London, 1998 (ISBN 0 7176 1620 7) open in new tab
  63. Reducing risks, protecting people. HSE's decision-making process, HSE, London 2001 (ISBN 0 7176 2151 0) open in new tab
  64. Lista aktualnych standardów bezpieczeństwa, Międzynarodowa Agencja Energii Atomowej, [dostęp:25 IV 2017, http://www-ns.iaea.org/standards/documents/pubdoc-list.asp?s=11&l=83] open in new tab
  65. The Fukushima Daiichi Accident, Report by the director general, IAEA, 2015 [dostęp:25 IV 2017, http://www- pub.iaea.org/books/IAEABooks/10962/The-Fukushima-Daiichi-Accident] open in new tab
  66. Instrukcja o użytkowaniu urządzeń radiołączności pociągowej Ir-5 (R-12), PKP PLK, Warszawa 2014 open in new tab
  67. ISO 8124 Safety of toys, Części 1-8 (lata publikacji 2010-2016) open in new tab
  68. Jarmuż, Piotr Analiza bezpieczeństwa systemu czasu rzeczywistego, Praca magisterska, Wydział Informatyki EFP, 1996
  69. Johnson, Donald B. Efficient algorithms for shortest paths in sparse networks In: Journal of the ACM (JACM), 1977, vol. 24, no. 1, pp. 1-13 open in new tab
  70. Jones, C.B. Systematic Software Development Using VDM (2nd Edition), Prentice Hall International, 1990
  71. Kaiser, B.; Gramlich, C; Förster, M. State/event fault trees-A safety analysis model for software-controlled systems, In: Reliability Engineering & System Safety, November 2007, vol. 92, iss. 11, pp. 1521-1537, ISSN 0951-8320, doi:10.1016/j.ress.2006.10.010. open in new tab
  72. Kaiser, Bernhard; Liggesmeyer, Peter; Mäckel, Oliver A new component concept for fault trees. In: Proceedings of the 8th Australian workshop on Safety critical systems and software -Volume 33 (SCS '03), Australian Computer Society, Inc., 2003, vol. 33, pp. 37-46
  73. Korzan, Bohdan Elementy teorii grafów i sieci: metody i zastosowania, Wydawnictwa Naukowo-Techniczne, Warszawa 1978
  74. Klüppelberg, C.; Straub, D.; Welpe, I. M. Risk -A Multidisciplinary Introduction, Springer 2014, ISBN 978-3- 319-04486-6 open in new tab
  75. Li, Qing; Chen, Yu-Liu, Data flow diagram. In: Modeling and Analysis of Enterprise and Information Systems, Springer Berlin Heidelberg 2009, pp. 85-97, DOI 10.1007/978-3-540-89556-5_4, ISBN 978-3-540-89555-8 open in new tab
  76. Lukowicz, Miroslaw; Magott, Jan; Skrobanek, Pawel Selection of minimal tripping times for distance protection using fault trees with time dependencies, In: Electric Power Systems Research, July 2011, vol. 81, iss. 7, pp. 1556-1571, ISSN 0378-7796, doi: 10.1016/j.epsr.2011.03.003. open in new tab
  77. Leveson, N. G.; Turner, C. S. An investigation of the Therac-25 accidents In: Computer, July 1993, vol. 26, no. 7, pp. 18-41, doi: 10.1109/MC.1993.274940 open in new tab
  78. L. Meshkat, J. B. Dugan and J. D. Andrews, "Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees," in IEEE Transactions on Reliability, vol. 51, no. 2, pp. 240-251, Jun 2002. doi: 10.1109/TR.2002.1011531 open in new tab
  79. Manian, R.; Dugan, J. Bechta; open in new tab
  80. Coppit, D.; Sullivan, K. J. Combining various solution techniques for dynamic fault tree analysis of computer systems In: High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International, Washington, DC, 1998, pp. 21-28. doi: 10.1109/HASE.1998.731591 open in new tab
  81. Procedures for Performing a Failure Mode, Effects and Criticaility Analysis. U.S. Department of Defense. open in new tab
  82. Washington, DC 20301. 1980. MIL-STD-1629A. [dostęp: 25 IV 2017, https://src.alionscience.com/pdf/MIL- STD-1629RevA.pdf]
  83. Magott, J.; Lewiński, A.; Skrobanek, P.; Toruń, A. The FTTD method application to the safety analysis of Changeable Block Distance System In: International Conference on Transport Systems Telematics, Springer Berlin Heidelberg, October 2012, pp. 267-275 open in new tab
  84. Merz, S.; Nipkow, T.; Ortmeier, Frank; Schellhorn, Gerhard Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006) Formal Fault Tree Analysis -Practical Experiences, Electronic Notes In: Theoretical Computer Science, 2007, Volume 185, Pages 139-151, ISSN 1571-0661, doi: 10.1016/j.entcs.2007.05.034 open in new tab
  85. Magott, J.; Nowakowski, T.; Skrobanek, P.; Werbińska, S. Analysis of possibilities of timing dependencies modelling -example of logistic support system In: European Safety and Reliability Association Conference, ESREL, 2008, Valencia, Spain, Leiden: Taylor and Francis, 2008, pp. 1055-10
  86. Magott, J.; Skrobanek, P. A Method of Analysis of Fault Tree with Time Dependencies In: Proc. SAFECOMP 2000, Rotterdam, The Netherlands, LNCS, Springer-Verlag, 2000, vol. 1943, pp. 176-186. open in new tab
  87. Magott, J.; Skrobanek, P. Method of time Petri net analysis for analysis of fault trees with time dependencies In: IEE Proceedings -Computers and Digital Techniques, Nov 2002, vol. 149, no. 6, pp. 257-271, doi: 10.1049/ip- cdt:20020804 open in new tab
  88. Malhotra, M.; Trivedi, K. S. Dependability modeling using Petri-nets In: IEEE Transactions on Reliability, Sep 1995, vol. 44, no. 3, pp. 428-440, doi: 10.1109/24.406578 open in new tab
  89. Mouaffo, A.; Taibi, D.; Jamboti, K. Controlled experiments comparing fault-tree-based safety analysis techniques In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering (EASE '14), ACM 2014, New York, NY, USA, art. 46, 10 pages, doi: 10.1145/2601248.2601255 open in new tab
  90. Meshkat, L.; Xing, L.; Donohue, S.K.; Ou, Y. An overview of the phase-modular fault tree approach to phased mission system analysis In: Proceedings of the first international conference on space mission challenges for information technology (SMC-IT), July 2003, Pasadena, CA: JPL Publication 03- 13A, Jet Propulsion Laboratory, California Institute of Technology; pp. 393-8. open in new tab
  91. Stamatelatos, M.; Vesely, W. Fault Tree Handbook with Aerospace Applications, NASA Office of Safety and Mission Assurance, August, 2002
  92. Latest Safety Ratings, Euro NCAP 2016 [dostęp: 25 IV 2017, http://www.euroncap.com/en/ratings-rewards] open in new tab
  93. Neumann, P. G. Some Computer-Related Disasters and Other Egregious Horrors In: IEEE Aerospace and Electronic Systems Magazine, Oct. 1986, vol. 1, no. 10, pp. 18-19, doi: 10.1109/MAES.1986.5004967 open in new tab
  94. Nielsen, D.S. The cause/consequence diagram method as a basis for quantitative accident analysis (Riso-M;
  95. No. 1374), Danish Atomic Energy Commission, 1971 open in new tab
  96. Vesely, W. E.; Goldberg, F. F.; Roberts, N. H.; Haasl, D. F. Fault Tree Handbook, U.S. Nuclear Regulatory Commission, January 1981 open in new tab
  97. Palshikar, Girish Keshav Temporal fault trees In: Information and Software Technology, 15 March 2002, vol. 44, iss. 3, pp. 137-150, ISSN 0950-5849, doi: 10.1016/S0950-5849(01)00223-3. open in new tab
  98. Parnas, D. L.; Asmis, G. J. K.; Madey, J. Assessment of safety-critical software in nuclear power plants In: Nuclear safety, 1991, vol. 32, iss. 2, pp. 189-198.
  99. [PD-AP-1312] NASA Preferred Reliability Practices, The team approach to fault-tree analysis, Practice no. PD-AP-1312, NASA open in new tab
  100. PN-EN 50128:2011 Zastosowania kolejowe --Systemy łączności, przetwarzania danych i sterowania ruchem -- Oprogramowanie kolejowych systemów sterowania i zabezpieczenia open in new tab
  101. PN-EN 60812:2009 Techniki analizy nieuszkadzalności systemów. Procedura analizy rodzajów i skutków uszkodzeń (FMEA)
  102. PN-EN 61508:2010 Bezpieczeństwo funkcjonalne elektrycznych/elektronicznych/programowalnych elektronicznych systemów związanych z bezpieczeństwem
  103. PN-EN 61511 Bezpieczeństwo funkcjonalne; Przyrządowe systemy bezpieczeństwa dla sektora przemysłu procesowego
  104. PN-EN 61800-5-2:2007 Elektryczne układy napędowe mocy o regulowanej prędkości --Część 5-2: Wymagania dotyczące bezpieczeństwa --Funkcjonalne
  105. PN-EN 62061:2008 Bezpieczeństwo maszyn --Bezpieczeństwo funkcjonalne elektrycznych, elektronicznych i elektronicznych programowalnych systemów sterowania związanych z bezpieczeństwem
  106. PN-EN 71 Bezpieczeństwo zabawek, Części 1-13 (lata publikacji 2005-20014)
  107. Pettie, S.; Ramachandran, V. A Shortest Path Algorithm for Real-Weighted Undirected Graphs In: SIAM Journal on Computing, Society for Industrial and Applied Mathematics 2005, vol. 34, no. 6, pp. 1398-1431. open in new tab
  108. Randell, B.; Lee, P.; Treleaven, P. C. Reliability Issues in Computing System Design In: ACM Comput. Surv., June 1978, vol. 10, iss.2, pp. 123-165 open in new tab
  109. Van Solingen, Rini; Berghout, Egon The Goal/Question/Metric Method: a practical guide for quality improvement of software development, McGraw-Hill, 1999 open in new tab
  110. Skrobanek, P Analiza zależności czasowych w drzewach niezdatności (rozprawa doktorska), Instytut Informatyki, Automatyki i Robotyki Politechniki Wrocławskiej, Wrocław, czerwiec 2005
  111. Stevens, W. P.; Myers, G. J.; Constantine, L.L. Structured design, In: IBM Systems Journal, 1974, vol.13, no.2, pp.115-139, ISSN: 0018-8670 open in new tab
  112. Schellhorn, G.; Thums, A.: Reif, W. Formal Fault Tree Semantics. In: Proceedings of the 6th world conference on integrated design & process technology, Pasadena, CA, July 2002, pp. 1-8.
  113. Tang, Zhihua; Dugan, J. B. Minimal cut set/sequence generation for dynamic fault trees, In: Reliability and Maintainability, 2004 Annual Symposium -RAMS, 2004, pp. 207-213. doi: 10.1109/RAMS.2004.1285449 open in new tab
  114. Introduction to Decision Trees. TreePlan Software [dostęp: 25 IV 2017, http://treeplan.com/chapters/introduction-to-decision-trees.pdf] open in new tab
  115. "Radio stop" dla pociągów. Była zabawa, będzie proces, TVN24.pl 22 IV 2011 [dostęp: 25 IV 2017, http://www.tvn24.pl/wiadomosci-z-kraju,3/radio-stop-dla-pociagow-byla-zabawa-bedzie-proces,168747.html] open in new tab
  116. Gerogiannis, V. C.; Caragiannis, I. E.; Tsoukarellas, M. A. A general framework for applying safety analysis to safety critical real-time applications using fault trees, In: Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on, Toledo, 1997, pp. 168-175. doi: 10.1109/EMWRTS.1997.613778 open in new tab
  117. Warshall, Stephen A theorem on boolean matrices, In: Journal of the ACM, 1962, vol. 9 no. 1, pp. 11-12 open in new tab
  118. Wardziński, Andrzej Analiza drzew błędów systemów komputerowych związanych z bezpieczeństwem, Dissertation Thesis, Technical University of Gdańsk, June 1996
  119. Wang, I.; Johnson, E. L.; Sokol, J. S. Multiple Pairs Shortest Path Algorithm, In: Transportation Science; Nov 2005, vol. 39, iss. 4, ABI/INFORM Global pg. 465. open in new tab
  120. Wijayarathna , P. G.; Maekawa, M. Extending fault trees with an AND-THEN gate, In: Software Reliability Engineering, 2000. ISSRE 2000. Proceedings. 11th International Symposium on, San Jose, CA, 2000, pp. 283- 292. doi: 10.1109/ISSRE.2000.885879 open in new tab
  121. Walker, Martin; Papadopoulos, Yiannis Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook, In: Control Engineering Practice, October 2009, vol. 17, iss. 10, pp. 1115-1125, ISSN 0967-0661, doi: 10.1016/j.conengprac.2008.10.003. open in new tab
  122. Walker, Martin; Papadopoulos, Yiannis A hierarchical method for the reduction of temporal expressions in Pandora. In: Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault- Tolerant Systems (DYADEM-FTS '10), ACM 2010, New York, NY, USA, 7-12. doi: 10.1145/1772630.1772634 open in new tab
  123. Xu, Bingfeng; Huang, Zhiqiu;
  124. Hu, Jun; Wei, Ou; Zhou, Yu Minimal cut sequence generation for state/event fault trees. In Proceedings of the 2013 Middleware Doctoral Symposium (MDS '13), ACM 2013, New York, NY, USA, , art. 3 , 6 pages, doi: 10.1145/2541534.2541592 open in new tab
  125. Xing, Liudong; Meshkat, Leila;
  126. Donohue, Susan K. Reliability analysis of hierarchical computer-based systems subject to common-cause failures, In: Reliability Engineering & System Safety, March 2007, vol. 92, iss. 3, pp. 351-359, ISSN 0951-8320, doi: 10.1016/j.ress.2006.04.010. open in new tab
  127. Extensible Markup Language (XML) 1.0 (Fifth Edition), W3C Recommendation, November 2008, [dostęp: 25 IV 2017, http://www.w3.org/TR/2008/REC-xml-20081126/] open in new tab
  128. Yourdon, E.; Constantine, L. L. Structured design: Fundamentals of a discipline of computer program and systems design (Vol. 5), Prentice-Hall 1979, ISBN-10: 0138544719
  129. Yau, M.; Guarro, S.; Apostolakis, G. Space System Applications of Risk Assessment. Demonstration of the Dynamic Flowgraph Methodology using the Titan II Space Launch Vehicle Digital Flight Control System, In: Reliability Engineering & System Safety, 1995, vol. 49, iss. 3, pp. 335-353, ISSN 0951-8320, doi: 10.1016/0951-8320(95)00050-C open in new tab
  130. Yau, Michael; Apostolakis, George; Guarro, Sergio The use of prime implicants in dependability analysis of software controlled systems, In: Reliability Engineering & System Safety, October-November 1998, vol. 62, iss. 1-2, pp. 23-32, ISSN 0951-8320, doi: 10.1016/S0951-8320(98)00002-7 open in new tab
  131. Yang, T.-P.; Ho, L.-H. The Comparison and Study of Shortest Path Algorithm in Heaps -Using a Taiwan Route Map as Example, In: Journal of American Academy of Business, Cambridge; Mar 2006; vol. 9, iss.1, ABI/INFORM Global, pg. 139. open in new tab
Verified by:
Gdańsk University of Technology

seen 251 times

Recommended for you

Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania

2013

Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów

2006

Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów

2007

Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego

2007
Meta Tags