Computing optimal repair strategies by means of NdRFT modeling and analysis

Computer Journal

Volumn 57, Issue 12, 2013, Pages 1870-1892

  Beccuti, Marco ^a   Franceschinis, Giuliana ^b   Codetta Raiteri, Daniele ^b   Haddad, Serge ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^c CNRS   (France)

Author keywords

fault tree; Markov Decision Petri Net; Markov decision process; optimal repair strategy

Indexed keywords

MARKOV PROCESSES; OPTIMIZATION; PETRI NETS; PREVENTIVE MAINTENANCE; SEMANTICS; SPECIFICATIONS;

FAULT-TREES; MARKOV DECISION; MARKOV DECISION PROCESSES; MODEL AND ANALYSIS; OPTIMIZATION PROBLEMS; REPAIR PROCESS; REPAIR STRATEGY; SYSTEM UNAVAILABILITY;

REPAIR;

EID: 84922553343     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxt134     Document Type: Article

References (34)

1. Schneeweiss,W. (1999) The Fault Tree Method. LiLoLe, Hagen, Germany.
2. Manian, R., Coppit, D., Sullivan, K. and Dugan, J. (1999) Bridging the Gap Between Systems and Dynamic Fault Tree Models. Annual Reliability and Maintainability Symposium, Washington, DC, USA, January 18-21, pp. 105-111. IEEE, Piscataway, NJ, USA.
3. Bobbio, A., Franceschinis, G., Gaeta, R. and Portinale, G. (2003) Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Trans. Softw. Eng., 29, 270-287.
4. Codetta-Raiteri, D., Franceschinis, G., Iacono, M. and Vittorini, V. (2004) Repairable Fault Tree for the Automatic Evaluation of Repair Policies. Int. Conf. on Dependable Systems and Networks, Florence, Italy, June 28-July 1, pp. 659-668. IEEE Computer Society, Los Alamitos, CA, USA.
5. Beccuti, M., Codetta-Raiteri, D., Franceschinis, G. and Haddad, S. (2008) Non-Deterministic Repairable Fault Trees for Computing Optimal Repair Strategy. Int. Conf. on Performance Evaluation, Methodologies and Tools, Athens, Greece, October 20-24, pp. 56:1-10. ICST, Gent, Belgium.
6. Puterman, M. (1994) Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons, Hoboken, NJ, USA.
7. Beccuti, M., Franceschinis, G. and Haddad, S. (2007) Markov decision petri net and Markov decision well-formed net formalisms. Lect. Notes Comput. Sci., 4546, 43-62.
8. Rauzy,A. (1993) New algorithms for fault trees analysis. Reliab. Eng. Syst. Saf., 40, 203-211.
9. JRC 56318 (2010) ASTRA 3.0: Logical and Probabilistic Analysis Methods. European Commission Joint Research Centre. Luxembourg.
10. Sahner, R.A., Trivedi, K.S. and Puliafito, A. (1996) Performance and Reliability Analysis of Computer Systems; An Examplebased Approach Using the SHARPE Software Package. Kluwer Academic, Dordrecht, Netherlands.
11. Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. (1995) Modelling with Generalized Stochastic Petri Nets. JohnWiley and Sons, Hoboken, NJ, USA.
12. Krishnamurthi, G., Gupta, A. and Somani, A.K. (1998) HIMAP: architecture, features, and hierarchical model specification techniques. Lect. Notes Comput. Sci., 1469, 348-351.
13. Anand, A. and Somani, A.K. (1998) Hierarchical Analysis of Fault Trees with Dependencies, Using Decomposition. Annual Reliability and Maintainability Symposium, Anaheim, CA, USA, January 19-22, pp. 69-75. IEEE, Piscataway, NJ, USA.
14. Dugan, J., Bavuso, S. and Boyd, M. (1992) Dynamic fault-tree models for fault-tolerant computer system. IEEE Trans. Reliab., 41, 363-377.
15. Bouissou, M. and Bon, J.-L. (2003) A new formalism that combines advantages of fault-trees and markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf., 82, 149-163.
16. Boudali, H., Crouzen, P. and Stoelinga, M. (2007) Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. Int. Conf. on Dependable Systems and Networks, Edinburgh, UK, June 25-28, pp. 708-717. IEEE Computer Society, LosAlamitos, CA, USA.
17. Distefano, S. and Puliafito, A. (2009) Dependability evaluation with dynamic reliability block diagrams and dynamic fault trees. IEEE Trans. Dependable Secur. Comput., 6, 4-17.
18. Flammini, F., Mazzocca, N., Iacono, M. and Marrone, S. (2005) Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. Int. Symp. High-Assurance Systems Engineering, Heidelberg, Germany, October 12-14, pp. 163-172. IEEE Computer Society, Los Alamitos, CA, USA.
19. Castroa, I. and Sanjuan, E. (2008) An optimal repair policy for systems with a limited number of repairs. Eur. J. Oper. Res., 187, 84-97.
20. Righter, R. (2002) Optimal maintenance and operation of a system with backup components. Probab. Eng. Inform. Sci., 16, 339-349.
21. Wang, G.J. and Zhang, Y.L. (2006) Optimal periodic preventive repair and replacement policy assuming geometric process repair. IEEE Trans. Reliab., 55, 118-122.
22. Weber, P. and Jouffe, L. (2003) Reliability Modelling with Dynamic Bayesian Networks. Symp. on Fault Detection, Supervision and Safety of Technical Processes,Washington, DC, USA, June 9-11, pp. 57-62. IFAC, Laxenburg, Austria.
23. Portinale, L., Bobbio, A., Codetta-Raiteri, D. and Montani, S. (2007) Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool. In Laskey, K. B., Mahoney, S. M. and Goldsmith, J. (eds) CEUR Workshop Proc., Bayesian Modeling Application Workshop, July 19, 2007, Vol. 268. Vancouver, British Columbia, Canada. CEUR-WS.org.
24. Portinale, L., Codetta-Raiteri, D. and Montani, S. (2010) Supporting reliability engineers in exploiting the power of dynamic Bayesian networks. Int. J. Approx. Reason., 51, 179-195.
25. Dean, T. and Kanazawa, K. (1989) A Model for Projection and Action. Int. Joint Conf. on Artificial Intelligence, Detroit, MI, USA, August 20-25, pp. 985-990. Morgan Kaufmann, San Francisco, CA, USA.
26. Dean, T. and Wellman, M.P. (1991) Planning and Control. Morgan Kaufmann, San Francisco, CA, USA.
27. Lovejoy, W.S. (1991) A survey of algorithmic methods for partially observed Markov decision processes. Ann. Oper. Res., 28, 47-66.
28. Koller, D. and Parr, R. (2000) Policy Iteration for Factored MDP. Annual Conf. on Uncertainty in Artificial Intelligence, Stanford, CA, USA, June 30-July 2, pp. 326-334. Morgan Kaufmann, San Francisco, CA, USA.
29. Bracquemond, C. and Gaudoin, O. (2004) A survey on discrete lifetime distributions. Int. J. Reliab. Qual. Saf. Eng., 10, 69-98.
30. TR-INF-2008-07-05 (2008) Non-Deterministic Repairable Fault Trees for Computing Optimal Repair Strategy. Dipartimento di Informatica, Università del Piemonte Orientale. Alessandria, Italy.
31. Beccuti, M., Codetta-Raiteri, D., Franceschinis, G. and Haddad, S. (2007) A Framework to Design and Solve Markov Decision Well-Formed Net Models. Int. Conf. on Quantitative Evaluation of Systems, Edinburgh, UK, September 16-19, pp. 165-166. IEEE Computer Society, Los Alamitos, CA, USA.
32. Assaf,T. and Dugan, J.B. (2004) Diagnostic Expert Systems from Dynamic Fault Trees. Annual Reliability and Maintainability Symposium, Los Angeles, CA, USA, January 26-29, pp. 444- 450. IEEE, Piscataway, NJ, USA.
33. Beccuti, M., Franceschinis, G., Codetta-Raiteri, D. and Haddad, S. (2009) Parametric Nd RFT for the Derivation of Optimal Repair Strategies. Int. Conf. on Dependable Systems and Networks, Estoril, Portugal, June 29-July 2, pp. 399-408. IEEE Computer Society, Los Alamitos, CA, USA.
34. Chiola, G., Dutheillet, C., Franceschinis, G. and Haddad, S. (1993) Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput., 42, 1343-1360.