
handle: 2066/316737
Fault trees are commonly used to model fault occurrence and propagation in safety-critical systems. A common analysis question is “how critical is a component failure for the overall system reliability?” These insights allow to guide and tailor system improvements. Dynamic fault trees, a common extension of classical fault trees, enable more realistic modelling. However, their analysis via model-checking techniques, can suffer from state-space explosion. In this work, we revisit a modular analysis of criticality values in dynamic fault trees. The analysis exploits modules—independent subtrees—in the fault tree, and analyses them individually. Our experiments show that modular analysis can successfully mitigate state-space explosion.
Software Science, Lecture Notes in Computer Science
Software Science, Lecture Notes in Computer Science
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
