Path-based calculation of MTTFF, MTTFR, and asymptotic unavailability with the stochastic process algebra tool CASPAâ€

J Schuster and M Siegle

Journal of Risk and Reliability, 2011, vol. 225, issue 4, 399-406

Abstract: CASPA is a stochastic process algebra tool for performance and dependability modelling, analysis, and verification. It is based entirely on the symbolic data structure of the multi-terminal binary decision diagram (MTBDD) which enables the tool to handle models with very large state space. This paper describes an extension of CASPA’s solving engine for path-based approximation of the mean time to first failure, the mean time to first recovery, and asymptotic unavailability by MTBDD algorithms. A non-trivial case study illustrates the use of path-based analysis and comparisons between the path-based unavailability calculations and results obtained from standard Markovian analysis are presented.

Keywords: multi-terminal binary decision diagram; k-most probable path (k-shortest path); mean time to first failure (search for similar items in EconPapers)
Date: 2011
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://journals.sagepub.com/doi/10.1177/1748006X11392286 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:225:y:2011:i:4:p:399-406

DOI: 10.1177/1748006X11392286

Access Statistics for this article

More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().