Dynamic fault trees (DFT) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using Monte Carlo simulation. A bottleneck here is that many simulation samples are required in the case of rare events, e.g. in highly reliable systems where components fail seldomly. Rare event simulation (RES) provides techniques to reduce the number of samples in the case of rare events. We present a RES technique based on importance splitting, to study failures in highly reliable DFTs. Whereas RES usually requires meta-information from an expert, our method is fully automatic: By cleverly exploiting the fault tree structure we extract the so-called importance function. We handle DFTs with Markovian and non-Markovian failure and repair distributions—for which no numerical methods exist—and show the efficiency of our approach on several case studies.

Rare Event Simulation for Non-Markovian Repairable Fault Trees / Budde, Carlos E.; Biagi, Marco; Monti, Raúl E.; D'Argenio, Pedro R.; Stoelinga, Mariëlle. - ELETTRONICO. - 12078:(2020), pp. 463-482. (Intervento presentato al convegno TACAS 2020: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems tenutosi a Dublin, Ireland nel 25-30 April, 2020) [10.1007/978-3-030-45190-5_26].

Rare Event Simulation for Non-Markovian Repairable Fault Trees

Carlos E. Budde;
2020-01-01

Abstract

Dynamic fault trees (DFT) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using Monte Carlo simulation. A bottleneck here is that many simulation samples are required in the case of rare events, e.g. in highly reliable systems where components fail seldomly. Rare event simulation (RES) provides techniques to reduce the number of samples in the case of rare events. We present a RES technique based on importance splitting, to study failures in highly reliable DFTs. Whereas RES usually requires meta-information from an expert, our method is fully automatic: By cleverly exploiting the fault tree structure we extract the so-called importance function. We handle DFTs with Markovian and non-Markovian failure and repair distributions—for which no numerical methods exist—and show the efficiency of our approach on several case studies.
2020
TACAS 2020: Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Cham, Svizzera
Springer Nature Switzerland
978-3-030-45189-9
978-3-030-45190-5
Budde, Carlos E.; Biagi, Marco; Monti, Raúl E.; D'Argenio, Pedro R.; Stoelinga, Mariëlle
Rare Event Simulation for Non-Markovian Repairable Fault Trees / Budde, Carlos E.; Biagi, Marco; Monti, Raúl E.; D'Argenio, Pedro R.; Stoelinga, Mariëlle. - ELETTRONICO. - 12078:(2020), pp. 463-482. (Intervento presentato al convegno TACAS 2020: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems tenutosi a Dublin, Ireland nel 25-30 April, 2020) [10.1007/978-3-030-45190-5_26].
File in questo prodotto:
File Dimensione Formato  
paper_camera_ready.pdf

accesso aperto

Descrizione: Article camera-ready
Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.09 MB
Formato Adobe PDF
1.09 MB Adobe PDF Visualizza/Apri
qt3kw4p77n.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Creative commons
Dimensione 288.89 kB
Formato Adobe PDF
288.89 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/314697
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact