3rd International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

Non deterministic Repairable Fault Trees for computing optimal repair strategy

Download570 downloads
  • @INPROCEEDINGS{10.4108/ICST.VALUETOOLS2008.4411,
        author={Marco Beccuti and Daniele Codetta-Raiteri and Giuliana Franceschinis and Serge Haddad},
        title={Non deterministic Repairable Fault Trees for computing optimal repair strategy},
        proceedings={3rd International ICST Conference on Performance Evaluation Methodologies and Tools},
        publisher={ICST},
        proceedings_a={VALUETOOLS},
        year={2010},
        month={5},
        keywords={Fault Tree Optimal repair strategy Markov Decision Pro- cess Markov Decision Petri Net},
        doi={10.4108/ICST.VALUETOOLS2008.4411}
    }
    
  • Marco Beccuti
    Daniele Codetta-Raiteri
    Giuliana Franceschinis
    Serge Haddad
    Year: 2010
    Non deterministic Repairable Fault Trees for computing optimal repair strategy
    VALUETOOLS
    ICST
    DOI: 10.4108/ICST.VALUETOOLS2008.4411
Marco Beccuti1,*, Daniele Codetta-Raiteri1,*, Giuliana Franceschinis1,*, Serge Haddad2,*
  • 1: Dip. di Informatica, Univ. del Piemonte Orientale Via Bellini 25/G, Alessandria, Italy
  • 2: LSV, ENS Cachan, CNRS, 61, avenue du Président Wilson, Cachan, France
*Contact email: beccuti@mfn.unipmn.it, raiteri@mfn.unipmn.it, giuliana@mfn.unipmn.it, haddad@lsv.ens-cachan.fr

Abstract

In this paper, the Non deterministic Repairable Fault Tree (NdRFT) formalism is proposed: it allows to model failure modes of complex systems as well as their repair processes. The originality of this formalism with respect to other Fault Tree extensions is that it allows to face repair strategies optimization problems: in an NdRFT model, the decision on whether to start or not a given repair action is non deterministic, so that all the possibilities are left open. The formalism is rather powerful allowing to specify which failure events are observable, whether local repair or global repair can be applied, and the resources needed to start a repair action. The optimal repair strategy can then be computed by solving an optimization problem on a Markov Decision Process (MDP) derived from the NdRFT. A software framework is proposed in order to perform in automatic way the derivation of an MDP from a NdRFT model, and to deal with the solution of the MDP.