University of Hull logo

Capture and reuse of composable failure patterns

Wolforth, Ian; Walker, Martin; Papadopoulos, Yiannis; Grunske, Lars

Authors

Ian Wolforth

Martin Walker

Lars Grunske

Abstract

Emerging safety analysis techniques use composition of failure models or fault simulation in formal models of a system to determine relationships between the causes and effects of failure. Most recent work has focused on developing system modelling and algorithms for automatic safety analysis. However, little work has focused on developing principles to improve reuse of safety analyses in the context of these techniques. In this paper, we describe a generalised failure logic (GFL) that can capture abstract reusable characteristics of failure behaviour and show how the GFL can be used with templates for the specification of reusable and inheritable component failure patterns. Finally, we illustrate how such patterns can be used with HiP-HOPS, an automated fault tree and FMEA synthesis tool, in order to simplify safety analysis while formalising and improving reuse. Benefits of this approach are discussed in the light of a case study on a brake-by-wire example.

Journal Article Type Article
Publication Date 2010
Journal International Journal Of Critical Computer-Based Systems
Print ISSN 1757-8779
Electronic ISSN 1757-8787
Publisher Inderscience
Peer Reviewed Peer Reviewed
Volume 1
Issue 1/2/3
Pages 128-147
Institution Citation Wolforth, I., Walker, M., Papadopoulos, Y., & Grunske, L. (2010). Capture and reuse of composable failure patterns. International Journal of Critical Computer-Based Systems, 1(1/2/3), 128-147. doi:10.1504/IJCCBS.2010.031710
DOI https://doi.org/10.1504/IJCCBS.2010.031710
Keywords General Computer Science
Additional Information Funders not listed on SJ, so according to SR, publisher's PDF cannot be used.