Albero dei Guasti (FTA)

Indice dei contenuti

    L’Analisi dell’Albero dei Guasti (FTA - Fault Tree Analysis) è una tecnica grafica e analitica utilizzata per valutare l’affidabilità e la sicurezza di sistemi complessi. Fu sviluppata originariamente dai Bell Laboratories per l’aviazione militare.

    Struttura e Logica

    L’analisi parte da un evento indesiderato principale (Top Event), come “esplosione della caldaia” o “mancata frenata”, e procede a ritroso identificando le cause. Utilizza i simboli della logica booleana:

    • Porta AND: L’evento superiore si verifica solo se si verificano tutti gli eventi inferiori.
    • Porta OR: L’evento superiore si verifica se si verifica almeno uno degli eventi inferiori.

    Analisi Quantitativa

    Se si conoscono le probabilità di guasto dei componenti elementari (foglie dell’albero), è possibile calcolare la probabilità di accadimento del Top Event applicando le leggi del calcolo delle probabilità:

    • Per una porta AND: P(AB)=P(A)P(B)P(A \cap B) = P(A) \cdot P(B) (assumendo indipendenza).
    • Per una porta OR: P(AB)=P(A)+P(B)P(AB)P(A \cup B) = P(A) + P(B) - P(A \cap B).

    Minimum Cut-Set

    Un minimum cut-set (MCS) è il più piccolo insieme di eventi base la cui occorrenza simultanea è sufficiente a causare il Top Event. L’identificazione dei MCS è l’operazione analitica centrale dell’FTA:

    • Un MCS di ordine 1 (singolo evento) è un Single Point of Failure: un guasto singolo causa direttamente il disastro. Va eliminato in fase di progetto.
    • MCS di ordine 2 o superiore richiedono la coincidenza di più guasti: più è alto l’ordine, meno è probabile il verificarsi del Top Event.

    Per grandi FTA, i MCS si calcolano con algoritmi booleani (metodo di Fussel-Vesely, trasformazione binaria BDD).

    Guasti di causa comune (Common Cause Failure)

    L’assunzione di indipendenza tra i componenti (P(AB)=P(A)P(B)P(A \cap B) = P(A) \cdot P(B)) può essere violata da guasti di causa comune (CCF): un singolo evento esterno (vibrazione, sovratensione, incendio, errore di manutenzione) manda in guasto più componenti simultaneamente. I CCF sono particolarmente critici nei sistemi ridondanti: una ridondanza 2-su-2 non protegge da un guasto che colpisce entrambi i canali. Il modello beta-fattore è il metodo standard per quantificare la quota di guasti comuni: λCCF=βλtotal\lambda_{CCF} = \beta \cdot \lambda_{total}.

    Significato Ingegneristico

    • Identificazione dei Cut-Set: Permette di trovare le combinazioni minime di guasti che possono causare il disastro. I cut-set con un solo elemento indicano un Single Point of Failure (punto critico di guasto).
    • Ingegneria Aerospaziale e Nucleare: È lo strumento obbligatorio per certificare che il rischio di incidenti catastrofici sia inferiore ai limiti di legge.
    • Miglioramento del Design: Visualizzando chiaramente come i guasti si propagano, l’ingegnere può decidere dove inserire ridondanze (porte AND) per proteggere il sistema.

    Vedi anche: Affidabilità, Diagramma a Blocchi di Affidabilità, Probabilità.

    Ultimo aggiornamento: