Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1377788, author = {Bäckström, Ola and Butkova, Yuliya and Hermanns, Holger and Krčál, Jan and Krčál, Pavel}, address = {Berlin}, booktitle = {In International Conference on Computer Safety, Reliability, and Security}, doi = {http://dx.doi.org/10.1007/978-3-319-45477-1_21}, keywords = {static and dynamic fault trees; PSA; nuclear safety; interactive Markov chains; open IMC}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Berlin}, isbn = {978-3-319-45476-4}, pages = {266-280}, publisher = {Springer}, title = {Effective static and dynamic fault tree analysis.}, year = {2016} }
TY - JOUR ID - 1377788 AU - Bäckström, Ola - Butkova, Yuliya - Hermanns, Holger - Krčál, Jan - Krčál, Pavel PY - 2016 TI - Effective static and dynamic fault tree analysis. PB - Springer CY - Berlin SN - 9783319454764 KW - static and dynamic fault trees KW - PSA KW - nuclear safety KW - interactive Markov chains KW - open IMC N2 - Fault trees constitute one of the essential formalisms for static safety analysis of various industrial systems. Dynamic fault trees (DFT) enrich the formalism by support for time-dependent behaviour, e.g., repairs or dynamic dependencies. This enables more realistic and more precise modelling, and can thereby avoid overly pessimistic analysis results. But analysis of DFT is so far limited to substantially smaller models than those required for instance in the domain of nuclear power safety. This paper considers so called SD fault trees, where the user is free to express each equipment failure either statically, without modelling temporal information, or dynamically, allowing repairs and other timed interdependencies. We introduce an analysis algorithm for an important subclass of SD fault trees. The algorithm employs automatic abstraction techniques effectively, and thereby scales similarly to static analysis algorithms, albeit allowing for a more realistic modelling and analysis. We demonstrate the applicability of the method by an experimental evaluation on fault trees of nuclear power plants. ER -
BÄCKSTRÖM, Ola, Yuliya BUTKOVA, Holger HERMANNS, Jan KRČÁL a Pavel KRČÁL. Effective static and dynamic fault tree analysis. In \textit{In International Conference on Computer Safety, Reliability, and Security}. Berlin: Springer, 2016, s.~266-280. ISBN~978-3-319-45476-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-45477-1\_{}21.
|