TY - GEN
T1 - Parametric NdRFT for the derivation of optimal repair strategies
AU - Beccuti, Marco
AU - Franceschinis, Giuliana
AU - Codetta-Raiteri, Daniele
AU - Haddad, Serge
PY - 2009
Y1 - 2009
N2 - Non deterministic Repairable Fault Trees (NdRFT) are a recently proposed modeling formalism for the study of optimal repair strategies: they are based on the widely adopted Fault Tree formalism, but in addition to the failure modes, NdRFTs allow to define possible repair actions. In a previous paper the formalism has been introduced together with an analysis method and a tool allowing to automatically derive the best repair strategy to be applied in each state. The analysis technique is based on the generation and solution of a Markov Decision Process. In this paper we present an extension, ParNdRFT, that allows to exploit the presence of redundancy to reduce the complexity of the model and of the analysis. It is based on the translation of the ParNdRFT into a Markov Decision Well-Formed Net, i.e. a model specified by means of an High Level Petri Net formalism. The translated model can be efficiently solved thanks to existing algorithms that generate a reduced state space automatically exploiting the model symmetries.
AB - Non deterministic Repairable Fault Trees (NdRFT) are a recently proposed modeling formalism for the study of optimal repair strategies: they are based on the widely adopted Fault Tree formalism, but in addition to the failure modes, NdRFTs allow to define possible repair actions. In a previous paper the formalism has been introduced together with an analysis method and a tool allowing to automatically derive the best repair strategy to be applied in each state. The analysis technique is based on the generation and solution of a Markov Decision Process. In this paper we present an extension, ParNdRFT, that allows to exploit the presence of redundancy to reduce the complexity of the model and of the analysis. It is based on the translation of the ParNdRFT into a Markov Decision Well-Formed Net, i.e. a model specified by means of an High Level Petri Net formalism. The translated model can be efficiently solved thanks to existing algorithms that generate a reduced state space automatically exploiting the model symmetries.
KW - Fault trees
KW - Markov decision process
KW - Optimal repair strategy
KW - Symmetries
KW - Well-formed nets
UR - http://www.scopus.com/inward/record.url?scp=70450014856&partnerID=8YFLogxK
U2 - 10.1109/DSN.2009.5270312
DO - 10.1109/DSN.2009.5270312
M3 - Conference contribution
AN - SCOPUS:70450014856
SN - 9781424444212
T3 - Proceedings of the International Conference on Dependable Systems and Networks
SP - 399
EP - 408
BT - Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
T2 - 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
Y2 - 29 June 2009 through 2 July 2009
ER -