Varför – för analys

Why–because analysis ( WBA ) är en metod för olycksanalys . Den är oberoende av applikationsdomän och har använts för att analysera bland annat flyg-, järnvägs-, sjö- och datorrelaterade olyckor och incidenter. analysmetod i efterhand (eller i efterhand ). WBA strävar efter att säkerställa objektivitet, falsifierbarhet och reproducerbarhet av resultaten.

Resultatet av en WBA är en varför-för-graf ( WBG ). WBG skildrar orsakssamband mellan faktorer för en olycka. Det är en riktad acyklisk graf där grafens noder är faktorer. Riktade kanter anger orsak-verkan- relationer mellan faktorerna.

WBA i detalj

WBA börjar med frågan "Vad är det för olycka eller olyckor det handlar om?". I de flesta fall är detta lätt att definiera. Därefter kommer en iterativ process för att fastställa orsaker. När orsaker till olyckan har identifierats tillämpas formella tester på alla potentiella orsak-verkan-relationer. Denna process kan upprepas för de nyfunna orsakerna, och så vidare, tills ett tillfredsställande resultat har uppnåtts.

Vid varje nod (faktor) måste varje bidragande orsak (relaterad faktor) ha varit nödvändig för att orsaka olyckan, och helheten av orsaker måste ha varit tillräcklig för att göra det.

De formella proven

Det kontrafaktiska testet (CT) – CT:n leder tillbaka till David Lewis formella uppfattning om kausalitet och kontrafakta . CT ställer följande fråga: "Om orsaken inte hade varit, kunde effekten ha inträffat?". CT bevisar eller motbevisar att en orsak är en nödvändig orsaksfaktor för en effekt. Endast om det är nödvändigt för orsaken i fråga så bidrar det klart till effekten.

Causal sufficiency test – CST ställer frågan: "Kommer en effekt alltid att inträffa om alla tillskrivna orsaker inträffar?". CST syftar till att avgöra om en uppsättning orsaker är tillräckliga för att en effekt ska inträffa. Saknade orsaker kan således identifieras.

Endast om CT för alla orsakssamband är positivt och för alla uppsättningar orsaker till deras effekter CST är positivt, är WBG korrekt: varje orsak måste vara nödvändig (CT), och helheten av orsaker måste vara tillräcklig (CST): ingenting utelämnas (CST: de angivna orsakerna är tillräckliga), och ingenting är överflödigt (CT: varje orsak är nödvändig).

Exempel

Delvis varför – på grund av grafen över kapsejsningen av Herald of Free Enterprise

Se även

externa länkar

Why-Because Analysis (WBA)