Combining system-theoretic process analysis and availability assessment: A subsea case study

Hazard identification methods are important tools to verify that the system is able to operate according to specifications under different operating conditions. Unfortunately, many of the traditional methods are not adequate to capture possible dysfunctional behavior of complex systems that involve highly coupled parts, non-linear interactions and software-intensive functionalities. The rather recent method named system-theoretic process analysis (STPA) is one promising candidate to improve the coverage of hazard identification in complex and software-intensive system. Still, there is no guideline for utilizing system-theoretic process analysis output to evaluate the potential of loss, which is important for basis of decision-making about system configuration and equipment selection. The focus of this article is to place an interface between system-theoretic process analysis and reliability, availability and maintainability (RAM) analysis. The approach named STPA-RAM model is proposed to translate feedback control loops into stochastic Petri nets for discrete event simulation. The proposed approach is demonstrated with a simple case related to subsea design concept. The major conclusion is that STPA-RAM model extends the application of system-theoretic process analysis, while also improving and as such reducing completeness uncertainty and model uncertainty, associated with input data and information for reliability, availability and maintainability analysis.acceptedVersion© 2019. This is the authors' accepted and refereed manuscript to the article. The final authenticated version is available online at: https://doi.org/10.1177%2F1748006X1882222