Non deterministic repairable fault trees for computing optimal repair strategy

VALUETOOLS 2008 - 3rd International Conference on Performance Evaluation Methodologies and Tools

Volumn , Issue , 2008, Pages

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

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Fault tree; Markov decision petri net; Markov decision pro cess; Optimal repair strategy

Indexed keywords

MARKOV PROCESSES; OPTIMIZATION; PETRI NETS; TOOLS;

FAILURE EVENTS; FAULT-TREES; LOCAL REPAIRS; MARKOV DECISION; MARKOV DECISION PROCESSES; OPTIMIZATION PROBLEMS; REPAIR PROCESS; REPAIR STRATEGY;

REPAIR;

EID: 84896989395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/ICST.VALUETOOLS2008.4411     Document Type: Conference Paper

References (27)

1. T. Assaf and J. B. Dugan. Diagnostic Expert Systems from Dynamic Fault Trees. In Annual Reliability and Maintainability Symposium 2004 Proceedings, pages 444-450, Los Angeles, CA USA, January 2004.
2. M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, and S. Haddad. A framework to design and solve Markov Decision Well-formed Net models. In Int. Conf. on Quantitative Evaluation of Systems, pages 165-166, Edinburgh, Scotland, UK, September 2007.
3. M. Beccuti, G. Franceschinis, and S. Haddad. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. Lecture Notes in Computer Science, 4546:43-62, 2007.
4. M. Beccuti, G. Franceschinis, and S. Haddad. Non deterministic Repairable Fault Trees for computing optimal repair strategy. Technical Report TR-INF-2008-07-05, Dip. di Informatica, Univ. del Piemonte Orientale, 2008.
5. A. Bobbio, G. Franceschinis, R. Gaeta, and G. Portinale. Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Transactions on Software Engineering, 29(3):270-287, March 2003.
6. H. Boudali, P. Crouzen, and M. Stoelinga. Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. In Int. Conf. on Dependable Systems and Networks, pages 708-717, June 2007.
7. R. E. Bryant. Symbolic Boolean manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 24:293-318, 1992.
8. I. Castroa and E. Sanjuan. An optimal repair policy for systems with a limited number of repairs. European Journal of Operational Research, 187(1):84-97, May 2008.
9. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, nov 1993.
10. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1-2):47-68, November 1995.
11. D. Codetta-Raiteri, G. Franceschinis, and M. Gribaudo. Defining formalisms and models in the Draw-Net Modelling System. In Int. Workshop on Modelling of Objects, Components and Agents, pages 123-144, Turku, Finland, June 2006.
12. D. Codetta-Raiteri, G. Franceschinis, M. Iacono, and V. Vittorini. Repairable Fault Tree for the automatic evaluation of repair policies. In Int. Conf. on Dependable Systems and Networks, pages 659-668, Florence, Italy, June 2004.
13. S. Contini. ASTRA - Advanced Software Tool for Reliability Analysis, Theoretical Manual. European Commission Joint Research Centre (JRC), Ispra, Italy, http://www.jrc.ec.europa.eu, 1999. EUR 18727en.
14. H. Howard. Dynamic Programming and Markov Process. MIT Press, 1960.
15. G. Krishnamurthi, A. Gupta, and A. K. Somani. HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques. Lecture Notes in Computer Science, 1469:348-351, 1998.
16. R. Manian, D. Coppit, K. Sullivan, and J. Dugan. Bridging the Gap Between Systems and Dynamic Fault Tree Models. In Annual Reliability and Maintainability Symposium, pages 105-111, 1999.
17. M. Puterman. Markov decision processes : Discrete Stochastic Dynamic Programming. John Wiley & Sons, 1994.
18. A. Rauzy. New Algorithms for Fault Trees Analysis. Reliability Engineering and System Safety, 05(59):203-211, 1993.
19. R. Righter. Optimal maintenance and operation of a system with backup components. Probability in the Engineering and Informational Sciences, 16(3):339-349, 2002.
20. R. A. Sahner, K. S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package. Kluwer Academic, 1996.
21. W. Schneeweiss. The Fault Tree Method. LiLoLe Verlag, 1999.
22. K. J. Sullivan, J. B. Dugan, and D. Coppit. The Galileo fault tree analysis tool. In Annual Int. Symposium on Fault-Tolerant Computing, pages 232-235, Madison, Wisconsin, USA, June 1999.
23. G. J. Wang and Y. L. Zhang. Optimal periodic preventive repair and replacement policy assuming geometric process repair. IEEE Transactions on Reliability, 55(1):118-122, March 2006.
24. FTA-Pro tool's web page. http://www.dyadem.com/products/ftapro/index.php.
25. Relex tools' web page. http://www.relex.com/products/ftaeta.asp.
26. Web page of the FaultTree+ tool by Isograph Software. http://www.isograph.com/faulttree.htm.
27. Web page of the FTAnalyzer tool by Advanced Logistic Development (ALD). http://www.ald.co.il/products/FTAnalyzer.html.