Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions

  title={Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions},
  author={Karama Kanoun and Marie Ortalo-Borrel},
  journal={IEEE Trans. Reliability},
This paper presents a framework for modeling the dependability of hardware and software fault-tolerant systems, taking into account explicitly the dependence among the components. These dependencies can result from: a) functional or structural interactions between the components or b) interactions due to global system reconfiguration and maintenance strategies. Modeling is based on GSPN (generalized stochastic Petri net). The modeling approach is modular: the behavior of each component and each… CONTINUE READING
Highly Cited
This paper has 49 citations. REVIEW CITATIONS
33 Citations
23 References
Similar Papers


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


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

Interactions Between Hardware and Software Components: Characterization, Formalization and Modeling Application to CAUTRA Dependability

  • M. Borrel
  • Ph.D. Dissertation, INP, Toulouse, France, 1996…
  • 1996
1 Excerpt

On the temporary character of operation-persistent software faults

  • Proc. 4th Int. Symp. Software Reliability…
  • 1993
2 Excerpts

Similar Papers

Loading similar papers…