A compositional semantics for dynamic fault trees in terms of interactive Markov chains

@inproceedings{Boudali2007ACS,
  title={A compositional semantics for dynamic fault trees in terms of interactive Markov chains},
  author={Hichem Boudali and Pepijn Crouzen and Mari{\"e}lle Stoelinga},
  booktitle={ATVA},
  year={2007}
}
Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of DFTs in terms of input/output interactive Markov chains (I/O-IMCs), which extend continuous-time Markov chains with discrete input, output and internal actions. This semantics provides a rigorous basis for the analysis of DFTs. Our semantics is fully compositional, that is, the semantics of a DFT is expressed in terms of the… CONTINUE READING
Highly Cited
This paper has 89 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 54 extracted citations

89 Citations

01020'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 89 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 17 references

Dynamic fault-tree models for faulttolerant computer systems

  • J. B. Dugan, S. J. Bavuso, M. A. Boyd
  • IEEE Trans. on Reliability,
  • 1992
Highly Influential
4 Excerpts

A new approach to solve dynamic fault trees

  • S. Amari, G. Dill, E. Howald
  • In Annual Reliability and Maintainability…
  • 2003
2 Excerpts

Similar Papers

Loading similar papers…