On the “post-dictive use” of the fault tree method for accident investigation to aid judicial procedures

Vestrucci, Paolo

doi:10.1016/j.ssci.2012.10.010

Cited by 4 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…and humanbased errors (design error, poor communication, mistake, etc.). Reverse engineering (Aguilar et al, 2019), failure mode and effects analysis (Lund, 2014), fault tree analysis (Vestrucci, 2013) or simple failure analysis (Vlachakis et al, 2020;Ruiz-Ortiz et al, 2021) are the most commonly used methods to collect and analyze data to determine the causes of a failure. Most of the time, the result of this post-failure analysis takes the form of a report, which, for the most serious cases, can lead to changes in regulations, or at least proposing to improve it (Edwards David and Holt Gary, 2010).…”

Section: Introductionmentioning

confidence: 99%

Imprecise abstract argumentation as a support for forensic engineering

Taillandier

Baudrit

Carvajal

et al. 2021

ECAM

View full text Add to dashboard Cite

PurposeCivil engineering structures are regularly confronted with failures that can lead to catastrophic consequences. It is important, after a failure, to be able to identify the origin and the sequence of factors that led to it. This failure analysis by experts, called forensic engineering investigation, generally leads to the drafting of an expert report. These reports do not inform on the processes that guided the experts to a conclusion and the uncertainties involved. This paper aims to propose a new methodological approach to formalize the opinions of experts in forensic engineering.Design/methodology/approachThe research consists in combining abstract argumentation with the theory of imprecise probabilities to take into account epistemic and stochastic uncertainties to support forensic engineering investigation.FindingsA model and a tool to support forensic analysis are presented. An application on the collapse of the Brumadinho dam highlights the interest of the chosen approach.Originality/valueThis work is the first use of the abstract argument framework in civil engineering, and so in forensic engineering. Furthermore, it provides an innovative model based on imprecise probability for AAF.

show abstract

Section: Introductionmentioning

confidence: 99%

Imprecise abstract argumentation as a support for forensic engineering

Taillandier

Baudrit

Carvajal

et al. 2021

ECAM

View full text Add to dashboard Cite

show abstract

“…There are many traditional techniques for analyzing hazards, including fault tree analysis, 2,3 events tree analysis, 4,5 and failure mode effect analysis. 6 They are based on linear causality event chains.…”

Section: Introductionmentioning

confidence: 99%

“…Two main reported model-based hazard analysis methods are “failure logic model-based method” and “behavior model-based method.” The failure logic model-based method embeds failure logics into models and investigates the propagation and transformation of the failures across the system components, such as Failure Propagation and Transformation Notation 8 and Hierarchically Performed Hazard Origin and Propagation Studies. 9 However, similar to the traditional methods, 2–6 the failure logic model-based method merely derives the linear causal relationships between the failures but barely captures the nonlinear causal relationships that may be associated with hazards. The behavior model-based method utilizes formal models to characterize the behavior of systems under conditions of failures.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems

Liu

Tang

Zhu

et al. 2016

Proceedings of the Institution of Mechanical Engineers, Part F:

View full text Add to dashboard Cite

A high-speed railway train control system plays a key role in ensuring the safe operation of the trains. To ensure the safety of high-speed railway train control systems, it is vital to perform hazard analysis on them. In this context, this paper proposes a novel hazard analysis method which extends a previously reported system-theoretic hazard analysis method ''system-theoretic process analysis.'' The proposed method improves the standard system-theoretic process analysis to capture the temporal relations between inadequate control actions leading to hazards. These temporal relations are crucial for investigating the causes of hazards. To depict the temporal relations of control actions of high-speed railway train control systems, a new temporal logic called ''control action temporal logic'' is proposed first. Then based on this temporal logic, a new control action relation model is added into the process of system-theoretic process analysis. This model depicts the relations (including temporal relations) between control actions. In order to identify both the inadequate control actions and their temporal relations, an algorithm is designed and used. Finally, the effectiveness of the proposed method is verified through the hazard analysis on the Chinese Train Control System level 3.

show abstract

Modelling safety of gantry crane operations using Petri nets

Singh

Raj

Sahu

et al. 2015

International Journal of Injury Control and Safety Promotion

View full text Add to dashboard Cite

Being a powerful tool in modelling industrial and service operations, Petri net (PN) has been extremely used in different domains, but its application in safety study is limited. In this study, we model the gantry crane operations used for industrial activities using generalized stochastic PNs. The complete cycle of operations of the gantry crane is split into three parts namely inspection and loading, movement of load, and unloading of load. PN models are developed for all three parts and the whole system as well. The developed PN models have captured the safety issues through reachability tree. The hazardous states are identified and how they ultimately lead to some unwanted accidents is demonstrated. The possibility of falling of load and failure of hook, sling, attachment and hoist rope are identified. Possible suggestions based on the study are presented for redesign of the system. For example, mechanical stoppage of operations in case of loosely connected load, and warning system for use of wrong buttons is tested using modified models.

show abstract

On the “post-dictive use” of the fault tree method for accident investigation to aid judicial procedures

Cited by 4 publications

References 5 publications

Imprecise abstract argumentation as a support for forensic engineering

Imprecise abstract argumentation as a support for forensic engineering

An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems

Modelling safety of gantry crane operations using Petri nets

Contact Info

Product

Resources

About