A translation of State Machines to temporal fault trees

  title={A translation of State Machines to temporal fault trees},
  author={Nidhal Mahmud and Yiannis Papadopoulos and Martin Walker},
  journal={2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)},
State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or combinatorial fault trees. The former does not enable qualitative analysis, whereas the second allows it but can lead to inaccurate or erroneous results, because combinatorial fault trees do not capture the temporal semantics expressed by SMs. In… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
7 Citations
7 References
Similar Papers


Publications referenced by this paper.
Showing 1-7 of 7 references

Automatic Generation of Static Fault Trees from AADL Models.

  • A. Joshi, S Vestal, P. Binns
  • In DSN Workshop on Architecting Dependable…
  • 2007
Highly Influential
11 Excerpts

Dependability Modeling and Evaluation – From AADL to Stochastic Petri Nets.

  • A. Rugina
  • Ph.D. Thesis, Institut National Polytechnique de…
  • 2007
1 Excerpt

Dependability Modeling with the Architecture Analysis and Design Language (AADL)

  • P. H. Feiler, A. E. Rugina
  • Carnegie Mellon Software Engineering Institute,
  • 2007
2 Excerpts

Similar Papers

Loading similar papers…